ModelPlex: Verified runtime validation of verified cyber-physical system models

@INPROCEEDINGS{DBLP:conf/rv/MitschP14,
	pdf = {pub/modelplex.pdf},
	slides = {pub/modelplex-slides.pdf},
	ref = {DBLP:journals/fmsd/MitschP16},
	refname = {FMSD'16},
	study = {pub/modelplex-study.zip},
	TR = {DBLP:conf/rv/MitschP14:TR},

  author    = {Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {{ModelPlex}: Verified Runtime Validation
               of Verified Cyber-Physical System Models},
  booktitle = {RV},
  year      = {2014},
  pages     = {199-214},
  doi       = {10.1007/978-3-319-11164-3_17},
  editor    = {Borzoo Bonakdarpour and
               Scott A. Smolka},
  longbooktitle = {Runtime Verification - 5th
               International Conference, RV
               2014, Toronto, ON, Canada, September 22--25,
               2014. Proceedings},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {8734},
}```