Die Veröffentlichung Boolean and Modular Abstractions for Programmable Logic Controllers, welche von Sebastian Biallas, Dimitri Bohlender und Stefan Kowalewski geschrieben wurde, ist auf dem 4. IFAC Workshop on Dependable Control of Discrete Systems (DCDS'13) mit dem Best Paper Award ausgezeichnet worden. Die Veröffentlichung beschreibt zwei Abstraktionen für PLC Programme, die im Verifikations-Werkzeug Arcade.PLC eingesetzt werden, welches am Lehrstuhl 11 für Informatik entwickelt wird.