On Threat Modeling and Mitigation of Medical Cyber-Physical Systems
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems