Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger. Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Science of Computer Programming, 158:122-147, 2018. [doi]
Abstract is missing.