Lukas Kathrein, Kristof Meixner, Dietmar Winkler 0001, Arndt Lüder, Stefan Biffl. A Meta-Model for Representing Consistency as Extension to the Formal Process Description. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019. pages 1653-1656, IEEE, 2019. [doi]
Abstract is missing.