Sebastian Biallas
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis