Chung-Ling Lin, Wuwei Shen: Generation of Assurance Cases for Medical Devices. Computer and Information Science 2015: 127-140