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, 2009,
〈10.1007/978-3-642-04368-0_11〉.
〈hal-01699953〉 
