publication venue for The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).. 4:17-38. 2014 Software Certification: Methods and Tools (Dagstuhl Seminar 13051).. 3:111-148. 2013
