@misc{indiciaebe88e2177d7d,
  title = {Model-Driven Development of High-Assurance Active Medical Devices},
  author = {Atif Mashkoor},
  year = {2017},
  doi = {10.1007/s11219-015-9288-0},
  url = {https://arxiv.org/abs/1706.06376},
  note = {Source identifier: 1706.06376}
}