Béatrice Bérard Franck Cassez Serge Haddad Didier Lime Olivier H. Roux When are Timed Automata weakly timed bisimilar to Time Petri Nets? 202-220 2008 403 Theor. Comput. Sci. 2-3 http://dx.doi.org/10.1016/j.tcs.2008.03.030 db/journals/tcs/tcs403.html#BerardCHLR08