Model-based Specification and Refinement for Cyber-Physical Systems
@inproceedings{DAL-16-a, author = {Rolf Drechsler and Serge Autexier and Christoph L\"uth}, editor = { Michael Freitag and Herbert Kotzab and J\"urgen Pannek}, booktitle = {Proceedings 6th International Conference on Dynamics in Logistics (LDIC 2016)}, title = {Model-based Specification and Refinement for Cyber-Physical Systems}, series = {Lecture Notes in Logistics}, publisher = {Springer}, address = {Bremen, Germany}, month = {february}, year = {2016}, }