Design space exploration for cyber physical system design using constraint solving. - Benny Höckner; Petra Hofstedt; Sascha Kaltschmidt; Peter Sauer; Thilo Vörtler (FDL, 2013)