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