Freitas, R., 		Barreto, R., & 		Maciel, P.
2013 nov  4.  Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :