Model-based Specification and Refinement for Cyber-Physical Systems
@inproceedings{DAL-16-a,
  author        = {Rolf Drechsler and Serge Autexier and Christoph Lüth},
  editor        = { Michael Freitag and
Herbert Kotzab and
Jürgen 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},
}