@InProceedings{BT01,
  author = 	 {Roberto Barbuti and Luca Tesei},
  title = 	 {Timed Automata with Urgent Transitions},
  booktitle = 	 {Proceedings of the 2nd International Workshop on Models for
                  Time-Critical systems (MTCS'01)},
  pages =	 {3--21},
  year =	 {2001},
  editor =       {Flavio Corradini and Walter Vogler},
  number =	 {NS-01-5},
  month =        {August},
  series =	 {BRICS Notes},
  address =      {Aalborg, Denmark},
  publisher =	 {Aarhus University Press, Aarhus, Denmark}
}