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', 'André 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', '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}
}