Timed automata on modelling IEC 61131-3 function blocks | IEEE Conference Publication | IEEE Xplore