@misc{Giese2017,
  author    = {Holger Giese},
  title     = {Formal models and analysis for self-adaptive cyber-physical systems},
  booktitle = {Lecture notes in computer science},
  editor    = {Olga Kouchnarenko and Ramtin Khosravi},
  volume    = {10231},
  isbn      = {978-3-319-57666-4},
  issn      = {0302-9743},
  doi       = {10.1007/978-3-319-57666-4_1},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  type      = {other},
  pages     = {3 -- 9},
  year        = {2017},
}