@article{articled3f95293,
title   = {Some issues in real-time systems verification using time petri nets},
author = {González Del Foyo, Pedro Manuel and Silva, José Reinaldo},
year = {2011},
doi = {10.1590/s1678-58782011000400010},
journal   = {Journal of the Brazilian Society of Mechanical Sciences}
}