Benny Hockner, Petra Hofstedt, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler. Design space exploration for cyber physical system design using constraint solving. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1-4, IEEE, 2013. [doi]
Abstract is missing.