A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems.

A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems.