D Thapa, SC Park, CM Park, GN Wang - Proceedings of the 2007 …, 2007 - dl.acm.org
In this paper, we proposed a methodology to model, verify, and generate IEC standard PLC
code using Timed-MPSG (an extended version of finite state automata). It can reduce PLC …