@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}, } @incollection{, author = {Hametner, Reinhard and Kormann, Benjamin and Vogel-Heuser, Birgit and Winkler, Dietmar and Zoitl, Alois}, editor = {Sen Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale}, title = {Automated Test Case Generation for Industrial Control Applications}, booktitle = {Recent Advances in Robotics and Automation}, publisher = {Springer Berlin Heidelberg}, series = {Studies in Computational Intelligence}, volume = {480}, pages = {263-273}, year = {2013}, isbn = {978-3-642-37386-2}, doi = {10.1007/978-3-642-37387-9_20}, language = {English}, }