Roberto Barbuti, Luca Tesei. Timed automata with urgent transitions. Acta Informatica, 40(5):317-347, 2004. [doi]
@article{BarbutiT04, title = {Timed automata with urgent transitions}, author = {Roberto Barbuti and Luca Tesei}, year = {2004}, doi = {10.1007/s00236-003-0135-6}, url = {http://dx.doi.org/10.1007/s00236-003-0135-6}, researchr = {https://researchr.org/publication/BarbutiT04}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {40}, number = {5}, pages = {317-347}, }