Regression verification for programmable logic controller software

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