Model-based Specification and Refinement for Cyber-Physical Systems<pre>@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},
}
</pre>