Equivalent Semantic Translation from Parallel DEVS Models to Time Automata. - Shoupeng Han; Kedi Huang (International Conference on Computational Science (1), 2007)