On the automatic generation of timed automata models from Function Block Diagrams for safety instrumented systems | IEEE Conference Publication | IEEE Xplore