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