Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga. Modeling and Validation of PLC-Controlled Systems: A Case Study. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 161-166, IEEE, 2012. [doi]