1. IEC: IEC 61131-3 - Programmable controllers. International Electrotechnical Comission Standards (2003)
2. Abrial, Jr.: The B-book: assigning programs to meanings. Cambridge University Press, Cambridge (2005)
3. PLCopen: XML Formats for IEC 61131-3. PLCopen Technical Committee 6 (2009)
4. Lecture Notes in Computer Science;M. Leuschel,2003
5. Farines, J., de Queiroz, M.H., da Rocha, V.G., Carpes, A.A.M., Vernadat, F., Crégut, X.: A model-driven engineering approach to formal verification of PLC programs. In: IEEE EFTA (2011)