On the automatic generation of timed automata models from ISA 5.2 diagrams. - Luiz Paulo de Assis Barbosa; Kyller Costa Gorgônio; Leandro Dias da Silva; Antonio Marcus Nogueira de Lima; Angelo Perkusich (ETFA, 2007)