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

@TECHREPORT{DBLP:conf/rv/MitschP14:TR,
	ref = {DBLP:conf/rv/MitschP14},
	study = {pub/modelplex-study.zip},

  author    = {Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {{ModelPlex}: Verified Runtime Validation
               of Verified Cyber-Physical System Models},
  number    = {CMU-CS-14-121},
  year      = {2014},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-121.pdf}
}```