Quantitative and qualitative safety analysis of a hemodialysis machine with S#. - Leupolz, Johannes; Habermaier, Axel; Reif, Wolfgang (Journal of Software: Evolution & Process, 2018)