On Threat Modeling and Mitigation of Medical Cyber-Physical Systems | Synapse