Implementing hybrid automata for developing industrial control systems | IEEE Conference Publication | IEEE Xplore