@InProceedings{feng_et_al:OASIcs.MCPS.2014.94,
author = {Feng, Lu and King, Andrew L. and Chen, Sanjian and Ayoub, Anaheed and Park, Junkil and Bezzo, Nicola and Sokolsky, Oleg and Lee, Insup},
title = {{A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal}},
booktitle = {5th Workshop on Medical Cyber-Physical Systems},
pages = {94--99},
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.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.94},
URN = {urn:nbn:de:0030-drops-45263},
doi = {10.4230/OASIcs.MCPS.2014.94},
annote = {Keywords: Medical Cyber-Physical Systems, Safety Argument, Assurance Cases, Patient-Controlled Analgesia Infusion Pump, Closed-Loop Systems}
}