Mohammad F. Al-hammouri, Gregor von Bochmann. Deriving Distributed Design Models from Global State Machines Requirements. In Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt, editors, System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings. Volume 11753 of Lecture Notes in Computer Science, pages 27-43, Springer, 2019. [doi]
Abstract is missing.