@Proceedings{turau_et_al:OASIcs.MCPS.2014,
  title =	{{OASIcs, Volume 36, MCPS'14, Complete Volume}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  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},
  URN =		{urn:nbn:de:0030-drops-45403},
  doi =		{10.4230/OASIcs.MCPS.2014},
  annote =	{Keywords: Conference proceedings}
}
@InProceedings{turau_et_al:OASIcs.MCPS.2014.i,
  author =	{Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
  title =	{{Frontmatter, Table of Contents, Preface, Workshop Organization}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{i--x},
  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.i},
  URN =		{urn:nbn:de:0030-drops-45174},
  doi =		{10.4230/OASIcs.MCPS.2014.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization}
}
@InProceedings{masci_et_al:OASIcs.MCPS.2014.1,
  author =	{Masci, Paolo and Zhang, Yi and Jones, Paul and Thimbleby, Harold and Curzon, Paul},
  title =	{{A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{1--14},
  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.1},
  URN =		{urn:nbn:de:0030-drops-45185},
  doi =		{10.4230/OASIcs.MCPS.2014.1},
  annote =	{Keywords: Infusion Pump, Hazard analysis, Use hazards, User Interface, Interactive software, Design errors}
}
@InProceedings{gregorczyk_et_al:OASIcs.MCPS.2014.15,
  author =	{Gregorczyk, David and Fischer, Stefan and Busshaus, Timm and Schlichting, Stefan and P\"{o}hlsen, Stephan},
  title =	{{An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{15--27},
  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.15},
  URN =		{urn:nbn:de:0030-drops-45191},
  doi =		{10.4230/OASIcs.MCPS.2014.15},
  annote =	{Keywords: Integrated Clinical Environment, Devices Profile for Web Services, ISO/IEEE 11073}
}
@InProceedings{ortizleon_et_al:OASIcs.MCPS.2014.28,
  author =	{Ortiz-Le\'{o}n, Gabriela and V{\'\i}lchez-Monge, Marta and Montero-Rodr{\'\i}guez, Juan J.},
  title =	{{Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{28--37},
  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.28},
  URN =		{urn:nbn:de:0030-drops-45207},
  doi =		{10.4230/OASIcs.MCPS.2014.28},
  annote =	{Keywords: Biomedic, Cardiovascular, MATLAB, Simulation}
}
@InProceedings{ringwelski_et_al:OASIcs.MCPS.2014.38,
  author =	{Ringwelski, Martin and Timm-Giel, Andreas and Turau, Volker},
  title =	{{Adaptive Failure Detection and Correction in Dynamic Patient-Networks}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{38--48},
  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.38},
  URN =		{urn:nbn:de:0030-drops-45215},
  doi =		{10.4230/OASIcs.MCPS.2014.38},
  annote =	{Keywords: Wireless Sensor Networks, Fail-Safety, Health Monitoring, Failure Masking, Distributed Systems}
}
@InProceedings{ghorbani_et_al:OASIcs.MCPS.2014.49,
  author =	{Ghorbani, Mahboobeh and Bogdan, Paul},
  title =	{{Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{49--57},
  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.49},
  URN =		{urn:nbn:de:0030-drops-45221},
  doi =		{10.4230/OASIcs.MCPS.2014.49},
  annote =	{Keywords: Cyber-Physical Systems, Artificial Pancreas, Optimal and Model Predictive Control, Fractal Model Predictive}
}
@InProceedings{ahn_et_al:OASIcs.MCPS.2014.58,
  author =	{Ahn, Yong woon and Cheng, Albert Mo Kim},
  title =	{{Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{58--65},
  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.58},
  URN =		{urn:nbn:de:0030-drops-45234},
  doi =		{10.4230/OASIcs.MCPS.2014.58},
  annote =	{Keywords: Auto-Scaling, Cloud Computing, Medical Cyber-Physical System Device, Virtualization, Autonomic-Computing}
}
@InProceedings{skalistis_et_al:OASIcs.MCPS.2014.66,
  author =	{Skalistis, Stefanos and Simalatsar, Alena},
  title =	{{Modeling of Reconfigurable Medical Ultrasonic Applications in BIP}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{66--79},
  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.66},
  URN =		{urn:nbn:de:0030-drops-45246},
  doi =		{10.4230/OASIcs.MCPS.2014.66},
  annote =	{Keywords: Reconfigurable Pipelines, Quality of Service, Medical Ultrasonic Applications, Component-based System Design, Behavior-Interaction-Priority Modal Flow}
}
@InProceedings{vandenberg_et_al:OASIcs.MCPS.2014.80,
  author =	{van den Berg, Freek and Remke, Anne and Haverkort, Boudewijn R.},
  title =	{{A Domain Specific Language for Performance Evaluation of Medical Imaging Systems}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{80--93},
  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.80},
  URN =		{urn:nbn:de:0030-drops-45257},
  doi =		{10.4230/OASIcs.MCPS.2014.80},
  annote =	{Keywords: Domain Specific Language, Performance Evaluation, Simulation, Model Checking, Medical Systems}
}
@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}
}
@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.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}
}
@InProceedings{habli_et_al:OASIcs.MCPS.2014.113,
  author =	{Habli, Ibrahim and Al-Humam, Abdulaziz and Kelly, Tim and Fahel, Leila},
  title =	{{Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{113--123},
  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.113},
  URN =		{urn:nbn:de:0030-drops-45289},
  doi =		{10.4230/OASIcs.MCPS.2014.113},
  annote =	{Keywords: Healthcare, Safety, Assurance, Service-Oriented Architecture}
}
@InProceedings{arney_et_al:OASIcs.MCPS.2014.124,
  author =	{Arney, David and Plourde, Jeff and Schrenker, Rick and Mattegunta, Pratyusha and Whitehead, Susan F. and Goldman, Julian M.},
  title =	{{Design Pillars for Medical Cyber-Physical System Middleware}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{124--132},
  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.124},
  URN =		{urn:nbn:de:0030-drops-45294},
  doi =		{10.4230/OASIcs.MCPS.2014.124},
  annote =	{Keywords: Medical Device Interoperability, Clinical Requirements, Design Pillars, Requirements Elicitation, Validation}
}
@InProceedings{kuhn_et_al:OASIcs.MCPS.2014.133,
  author =	{K\"{u}hn, Franziska and Leucker, Martin and Mildner, Alexander},
  title =	{{OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{133--136},
  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.133},
  URN =		{urn:nbn:de:0030-drops-45300},
  doi =		{10.4230/OASIcs.MCPS.2014.133},
  annote =	{Keywords: Modular Risk Analysis, Medical Device Interconnection, OR.NET, Development Method}
}
@InProceedings{kwiatkowska_et_al:OASIcs.MCPS.2014.137,
  author =	{Kwiatkowska, Marta and Mereacre, Alexandru},
  title =	{{Automated Verification of Quantitative Properties of Cardiac Pacemaker Software}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{137--140},
  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.137},
  URN =		{urn:nbn:de:0030-drops-45317},
  doi =		{10.4230/OASIcs.MCPS.2014.137},
  annote =	{Keywords: Pacemakers, Verification, Simulink}
}
@InProceedings{schrenker_et_al:OASIcs.MCPS.2014.141,
  author =	{Schrenker, Rick and Plourde, Jeff and Alonso, Diego and Arney, David and Goldman, Julian M.},
  title =	{{Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{141--142},
  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.141},
  URN =		{urn:nbn:de:0030-drops-45326},
  doi =		{10.4230/OASIcs.MCPS.2014.141},
  annote =	{Keywords: Assurance Case, Goal Structured Notation, Requirements Engineering, Interoperability, Medical Device}
}
@InProceedings{sfyrla_et_al:OASIcs.MCPS.2014.143,
  author =	{Sfyrla, Vasiliki and Carmona, Josep and Henck, Pascal},
  title =	{{Process-Oriented Analysis for Medical Devices}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{143--146},
  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.143},
  URN =		{urn:nbn:de:0030-drops-45335},
  doi =		{10.4230/OASIcs.MCPS.2014.143},
  annote =	{Keywords: Process Logs, Process Mining, Discovery, Formal Analysis, Infusion Pump}
}