Ray, A., & Cleaveland, R. (2015). Security assurance cases for medical cyber–physical systems. Ieee Design & Test, 32, 56–65.