TY - JOUR AU - Arnab Ray AU - Rance Cleaveland BT - IEEE Design & Test LA - eng PY - 2015 EP - 56–65 T2 - IEEE Design & Test TI - Security assurance cases for medical cyber–physical systems VL - 32 ER -