@InProceedings{UlewiczUlbrichEA2016,
  author       = {Sebastian Ulewicz and Mattias Ulbrich and Alexander Weigl
                  and Michael Kirsten and Franziska Wiebe and Bernhard Beckert
                  and Birgit Vogel-Heuser},
  title        = {A Verification-Supported Evolution Approach to Assist
                  Software Application Engineers in Industrial Factory
                  Automation},
  booktitle    = {IEEE International Symposium on Assembly and
                  Manufacturing (ISAM 2016)},
  publisher    = {IEEE},
  pages        = {19--25},
  doi          = {10.1109/ISAM.2016.7750714},
  month        = aug,
  year         = {2016}
}