TY - CONF A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Kaltschmidt, Sascha A1 - Sauer, Peter A1 - Vörtler, Thilo T1 - Design Space Exploration for Cyber Physical System Design using Constraint Solving T2 - The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 Y1 - 2013 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/9904 PB - IEEE ER -