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

@ARTICLE{DBLP:journals/fmsd/MitschP16,
	pdf = {https://link.springer.com/content/pdf/10.1007/s10703-016-0241-z.pdf},
	ref = {DBLP:conf/rv/MitschP14},
	refname = {RV'14},

  author    = {Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {{ModelPlex}: Verified Runtime Validation of
               Verified Cyber-Physical System Models},
  journal   = {Form. Methods Syst. Des.},
  longjournal = {Formal Methods in System Design},
  year      = {2016},
  volume    = {49},
  number    = {1},
  pages     = {33-74},
  doi       = {10.1007/s10703-016-0241-z},
  issn      = {0925-9856},
  note      = {Special issue of selected papers from RV'14},
}```