"Arcade.PLC: a verification platform for programmable logic controllers."

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics