Generalized State Classes of Time Petri Nets for Timeliness Analysis