Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder. Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Evaluation of Novel Approaches to Software Engineering - 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers. Volume 1023 of Communications in Computer and Information Science, pages 261-287, Springer, 2018. [doi]
Abstract is missing.