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