Chao Peng, Haibo Zeng, Marco Di Natale. A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real-Time Systems, 55(3):598-638, 2019. [doi]
@article{PengZN19,
title = {A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs},
author = {Chao Peng and Haibo Zeng and Marco Di Natale},
year = {2019},
doi = {10.1007/s11241-019-09331-1},
url = {https://doi.org/10.1007/s11241-019-09331-1},
researchr = {https://researchr.org/publication/PengZN19},
cites = {0},
citedby = {0},
journal = {Real-Time Systems},
volume = {55},
number = {3},
pages = {598-638},
}