Model-Driven Safety Analysis of Closed-Loop Medical Systems.

Model-Driven Safety Analysis of Closed-Loop Medical Systems.