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