@inbook{25179,
  author       = {{Rammig, Franz-Josef and Zhao, Yuhong}},
  booktitle    = {{Dependability of Self-Optimizing Mechatronic Systems}},
  pages        = {{147--152}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Online Model Checking}}},
  year         = {{2014}},
}