@InProceedings{ma_et_al:OASIcs.MCPS.2014.100,
author = {Ma, Xintao and Rinast, Jonas and Schupp, Sibylle and Gollmann, Dieter},
title = {{Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study}},
booktitle = {5th Workshop on Medical Cyber-Physical Systems},
pages = {100--112},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-66-8},
ISSN = {2190-6807},
year = {2014},
volume = {36},
editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.100},
URN = {urn:nbn:de:0030-drops-45279},
doi = {10.4230/OASIcs.MCPS.2014.100},
annote = {Keywords: On-line Model Checking, Laser Tracheotomy, UPPAAL-SMC, Patient-in-the-loop}
}