On the automatic generation of timed automata models from ISA 5.2 diagrams.

Luiz Paulo de Assis Barbosa, Kyller Costa Gorgnio, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, Angelo Perkusich

Browse the full ETFA paper archive.