Catalin Dima, Ruggero Lanotte. Removing All Silent Transitions from Timed Automata.
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132,
⟨10.1007/978-3-642-04368-0_11⟩.
⟨hal-01699953⟩ 
