Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne. Simulation and verification II: from timed automata to DEVS models. In Stephen E. Chick, Paul J. Sanchez, David M. Ferrin, Douglas J. Morrice, editors, Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003. pages 923-931, ACM, 2003. [doi]
Abstract is missing.