A model-driven engineering approach to formal verification of PLC programs. - Jean-Marie Farines; Max Hering de Queiroz; Vinicius G. da Rocha; Ana Maria M. Carpes; François Vernadat 001; Xavier Crégut (ETFA, 2011)