The publication Boolean and Modular Abstractions for Programmable Logic Controllers, written by Sebastian Biallas, Dimitri Bohlender and Stefan Kowalewski, won the Best Paper Award at the 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS'13). The paper deals with two abstractions for PLC programs which are used by the verification-tool Arcade.PLC. The tool is developed by the Chair of Computer Science 11.