@InProceedings{UlewiczUlbrichEA2015,
  author       = {Sebastian Ulewicz and Mattias Ulbrich and Alexander Weigl and
                  Bernhard Beckert and Birgit Vogel-Heuser},
  title        = {Proving Equivalence between Control Software Variants for
                  {P}rogrammable {L}ogic {C}ontrollers: Using Regression
                  Verification to Reduce Unneeded Variant Diversity},
  booktitle    = {20th {IEEE} Conference on Emerging Technologies
                  {\&} Factory Automation (ETFA 2015)}, 
  publisher    = {IEEE},
  pages        = {1--5},
  year         = {2015}
}