Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser. Formal Technical Process Specification and Verification for Automated Production Systems. In Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher, editors, System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Volume 8769 of Lecture Notes in Computer Science, pages 287-303, Springer, 2014. [doi]
Abstract is missing.