@inproceedings{, author = {Matthias, Kowal and Legat, Christoph and Lorefice, David and Prehofer, Christian and Schaefer, Ina and Vogel-Heuser, Birgit}, title = {Delta modeling for variant-rich and evolving manufacturing systems}, booktitle = {Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation}, publisher = {ACM}, pages = {32-41}, year = {2014}, month = may, } @inproceedings{Hackenberg2014, author = {Hackenberg, Georg and Campetelli, Alarico and Legat, Christoph and Mund, Jakob and Teufl, Sabine and Vogel-Heuser, Birgit}, title = {Formal Technical Process Specification and Verification for Automated Production Systems}, booktitle = {System Analysis and Modeling: Models and Reusability - 8th International Conference, {SAM} 2014, Valencia, Spain, September 29-30, 2014. Proceedings}, pages = {287--303}, year = {2014}, owner = {teufl}, doi = {10.1007/978-3-319-11743-0_20}, crossref = {DBLP:conf/sam/2014}, }