Arnab Ray, Rance Cleaveland: Security Assurance Cases for Medical Cyber-Physical Systems. IEEE Des. Test 32(5): 56-65 (2015)