@InProceedings{BDT00,
  author = 	 {Roberto Barbuti and Nicoletta {De Francesco} and Luca Tesei},
  title = 	 {Timed Automata with non-Instantaneous Actions},
  booktitle = 	 {Proceedings of the 9th Concurrency, Specification \&
                  Programming Workshop (CS\&P'2000)},
  editor =       {H.D. Burkhard and L. Czaja and A. Skowron and P. Starke},
  pages =        {17--28},
  year =	 {2000},
  month =        {October},
  series =       {Informatik-Bericht},
  number =       {140},
  address =      {Berlin},
  publisher =	 {Humboldt-{Universit\"at} Press, Berlin}
}