@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}
}