@inproceedings{WZY+12,
title = {Modeling and Validation of PLC-Controlled Systems: A Case Study },
author = {Wang, Rui and Zhou, Min and Yin, Liangze and Zhang, Lianyi and Sun, Jiaguang and Ming, Gu and Bozga, Marius},
year = {2012},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China},
pages = {161-166},
publisher = {IEEE},
team = {DCS, RSD},
}
