Roberto Barbuti Luca Tesei Timed automata with urgent transitions. 317-347 2004 40 Acta Inf. 5 http://dx.doi.org/10.1007/s00236-003-0135-6 db/journals/acta/acta40.html#BarbutiT04