PLC Modeling and Checking Based on Formal Method. - Yueshan Zheng; Guiming Luo; Junbo Sun; Junjie Zhang; Zhenfeng Wang (J. Softw. Eng. Appl., 2010)