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