@TechReport{Bohlender21,
  author      = "Dimitri Bohlender",
  title       = "Symbolic Methods for Formal Verification of Industrial Control Software",
  institution = "RWTH Aachen University",
  keywords    = "formal verification, programmable logic controller, constrained Horn clauses, model checking, formal methods, symbolic methods",
  year        = "2021",
  number      = "AIB-2021-11",
  month       = nov,
  url         = "https://publications.rwth-aachen.de/record/835546/files/835546.pdf",
}