@Article{BDT01,
  author = 	 {Roberto Barbuti and Nicoletta {De Francesco} and Luca Tesei},
  title = 	 {Timed Automata with non-Instantaneous Actions},
  journal = 	 {Fundamenta Informaticae},
  year = 	 {2001},
  volume =	 {47},
  number =	 {3-4},
  pages =	 {189--200},
  note =         {IOS Press, Amsterdam}
}