Some issues in real-time systems verification using time petri nets - González Del Foyo, Pedro Manuel; Silva, José Reinaldo (Journal of the Brazilian Society of Mechanical Sciences, 2011)