@inproceedings{DBLP:conf/mcps/KuhnLM14,
author = {Franziska K{\"{u}}hn and
Martin Leucker and
Alexander Mildner},
editor = {Volker Turau and
Marta Z. Kwiatkowska and
Rahul Mangharam and
Christoph Weyer},
title = {{OR.NET} - Approaches for Risk Analysis and Measures of Dynamically
Interconnected Medical Devices},
booktitle = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
Germany, April 14, 2014},
series = {{OASICS}},
volume = {36},
pages = {133--136},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
year = {2014},
url = {http://dx.doi.org/10.4230/OASIcs.MCPS.2014.133},
doi = {10.4230/OASIcs.MCPS.2014.133},
timestamp = {Thu, 22 Jan 2015 08:01:54 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/mcps/KuhnLM14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}