@misc{mashkoor2017towards,
  title={Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study},
  author={Atif Mashkoor and Miklos Biro},
  year={2017},
  eprint={1706.06369},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  doi={10.1109/LES.2015.2494459},
  url={https://arxiv.org/abs/1706.06369}
}