OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. - Shahar Maoz; Ferdinand Mehlan; Jan Oliver Ringert; Bernhard Rumpe; Michael von Wenckstern (MoDELS (Satellite Events), 2017)