@misc{indiciae6f1cb48b145b,
  title = {Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study},
  author = {Atif Mashkoor and Miklos Biro},
  year = {2017},
  doi = {10.1109/les.2015.2494459},
  url = {https://arxiv.org/abs/1706.06369},
  note = {Source identifier: 1706.06369}
}