Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices. - Atif Mashkoor; Miklós Biró; Marton Dolgos; Peter Timar (SWQD, 2015)