Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study | IEEE Journals & Magazine | IEEE Xplore