Extending the verification coverage for PLC control programs: A functional safety approach. - Cleber A. Sarmento; Diolino J. Santos Filho; Paulo E. Miyagi (IECON, 2012)