@article{69,
  author = {Arnab Ray and Rance Cleaveland},
  title = {Security assurance cases for medical cyber–physical systems},
  year = {2015},
  journal = {IEEE Design & Test},
  volume = {32},
  pages = {56–65},
  language = {eng},
}