Xu, Y. X. Compositional Schedulability Analysis of Real -Time Using Time Petri Nets - 984-996 p. Subjects--Topical Terms: Real-Time Systems