@techreport{BeckertUlbrichEA2015,
  author       = {Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser
                  and Alexander Weigl},
  title        = {Regression Verification for Programmable Logic Controller
                  Software},
  institution  = {Department of Informatics, Karlsruhe Institute of Technology},
  number       = {2015-6},
  series       = {Karlsruhe Reports in Informatics},
  url          = {https://publikationen.bibliothek.kit.edu/1000047251/3524826},
  issn         = {2190-4782},
  year         = {2015}
}