A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs

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]

Abstract

Abstract is missing.