Published in: Dagstuhl Reports, Volume 4, Issue 2 (2014)
Dominique Méry, Bernhard Schätz, and Alan Wassyng. The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). In Dagstuhl Reports, Volume 4, Issue 2, pp. 17-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{mery_et_al:DagRep.4.2.17, author = {M\'{e}ry, Dominique and Sch\"{a}tz, Bernhard and Wassyng, Alan}, title = {{The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)}}, pages = {17--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {M\'{e}ry, Dominique and Sch\"{a}tz, Bernhard and Wassyng, Alan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.17}, URN = {urn:nbn:de:0030-drops-45436}, doi = {10.4230/DagRep.4.2.17}, annote = {Keywords: Embedded systems, Real-time systems, Medical devices, Model-driven development, Software certification, Validation \& verification, Formal methods} }