@inproceedings{HoecknerHofstedtVoertleretal.2013, author = {Benny H{\"o}ckner and Petra Hofstedt and Thilo V{\"o}rtler and Peter Sauer and Thomas Hinze}, title = {Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems}, booktitle = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, editor = {Michael Hanus and Ricardo Rocha}, pages = {183 -- 197}, url = {http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf}, year = {2013}, }