@misc{indiciaeae458d8a9d34,
  title = {From Model Checking to Runtime Verification and Back},
  author = {Katarína Kejstová and Petr Ročkai and Jiří Barnat},
  year = {2018},
  doi = {10.1007/978-3-319-67531-2\_14},
  url = {https://arxiv.org/abs/1805.12428},
  note = {Source identifier: 1805.12428}
}