Freitas, R., 		Barreto, R., & 		Maciel, P.
(2013).
 Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models.
In <em>Anais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 107-112). Porto Alegre: SBC.