Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang. Modeling, verification, and implementation of PLC program using timed-MPSG. In Gabriel Andrés Wainer, editor, Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007. pages 533-540, Simulation Councils, Inc., 2007. [doi]
Abstract is missing.