@inproceedings{BeckertUlbrichEA2015,
author = {Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser
and Alexander Weigl},
title = {Regression Verification for Programmable Logic Controller
Software},
booktitle = {17th International Conference on Formal
Engineering Methods ({ICFEM} 2015)},
pages = {234--251},
editor = {Michael Butler and Sylvain Conchon and Fatiha Za{\"{\i}}di},
series = {LNCS},
volume = {9407},
publisher = {Springer},
year = {2015}
}