"Symbolic execution of programmable logic controller code."

Shengjian Guo, Meng Wu, Chao Wang (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics