Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line. - Sara Blessing; Michaela Huhn (MBEES, 2012)