@inproceedings{HoecknerHofstedtKaltschmidtetal.2013, author = {Benny H{\"o}ckner and Petra Hofstedt and Sascha Kaltschmidt and Peter Sauer and Thilo V{\"o}rtler}, title = {Design Space Exploration for Cyber Physical System Design using Constraint Solving}, booktitle = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, year = {2013}, }