Hanifa Boucheneb, Kamel Barkaoui: Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. 14(1): 11:1-11:25 (2015)