@TechReport{Biallas16,
  author      = "Sebastian Biallas",
  title       = "Verification of Programmable Logic Controller Code using Model Checking and Static Analysis",
  institution = "RWTH Aachen",
  keywords    = "formal verification, programmable logic controller, model checking, static analysis",
  year        = "2001",
  number      = "AIB-2016-07",
  month       = oct
}