Thomas Kurpick, Claas Pinkernell, Markus Look, Bernhard Rumpe: Modeling cyber-physical systems: model-driven specification of energy efficient buildings. MOTPW@MoDELS 2012: 2:1-2:6