Regression verification for programmable logic controller software

@techreport{BeckertUlbrichVogelHeuser2015,
	author = {['Bernhard Beckert', 'Mattias Ulbrich', 'Birgit Vogel-Heuser', 'Alexander Weigl']},
	title = {Regression Verification for Programmable Logic Controller Software},
	institution = {Karlsruhe Institute of Technology, Department of Informatics},
	year = {2015},
	month = {June},
	number = {2015-06},
	keywords = {IMPROVE}
}