Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom. Why is My Component and Connector Views Specification Unsatisfiable?. In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. pages 134-144, IEEE Computer Society, 2017. [doi]
Abstract is missing.