@InProceedings{	  dgp97,
  author	= "Volker Diekert and Paul Gastin and Antoine Petit",
  title		= "Removing $\varepsilon$-Transitions in Timed Automata",
  address	= "Heidelberg",
  booktitle	= "Proc. 14th Annual Symposium on Theoretical Aspects of
		  Computer Science (STACS'97), L{\"u}beck (Germany), 1997",
  editor	= "R. Reischuk",
  year		= "1997",
  volume	= "1200",
  pages		= "583--594",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  doi		= "10.1007/BFb0023491"
}