On the automatic generation of timed automata models from ISA 5.2 diagrams | IEEE Conference Publication | IEEE Xplore