@inproceedings{DDSS-tacas07,
   author = {D'Aprile, Davide and Donatelli, Susanna and Sangnier, Arnaud and Sproston, Jeremy}, 
   booktitle = {Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07)},
   pages = {216-230}, 
   publisher = {Springer}, 
   series = {Lecture Notes in Computer Science}, 
   title = {From Time {P}etri Nets to Timed Automata: An Untimed Approach}, 
   volume = {4424}, 
   year = {2007}, 
}