On Threat Modeling and Mitigation of Medical Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore