Why is My Component and Connector Views Specification Unsatisfiable? - Shahar Maoz; Nitzan Pomerantz; Jan Oliver Ringert; Rafi Shalom (MoDELS, 2017)