Automation of Formal Verification of PLC Programs Written in IL. - Olivera Pavlovic; Ralf Pinger; Maik Kollmann (VERIFY, 2007)

Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking (Formal verification of software for programmable logic controllers by model checking) - Olivera Pavlovic (2009)

Model Checking PLC Software Written in Function Block Diagram. - Olivera Pavlovic; Hans-Dieter Ehrich (ICST, 2010)