Luiz Paulo de Assis Barbosa, Kyller Costa Gorgônio, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, Angelo Perkusich. On the automatic generation of timed automata models from ISA 5.2 diagrams. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 406-412, IEEE, 2007. [doi]
Abstract is missing.