Simulation and verification II: from timed automata to DEVS models. - Norbert Giambiasi; Jean-Luc Paillet; Frédéric Châne (WSC, 2003)

From DEVS Model to Timed Automata. - Frédéric Châne; Norbert Giambiasi; Jean-Luc Paillet (Software Engineering Research and Practice, 2004)