Equivalent Semantic Translation from Parallel DEVS Models to Time Automata