Timed automaton models for simple programmable logic controllers | IEEE Conference Publication | IEEE Xplore