Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut. A model-driven engineering approach to formal verification of PLC programs. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.