@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 = {http://publikationen.bibliothek.kit.edu/1000047251/3524826},
issn = {2190-4782},
year = {2015}
}