Model-Based Analysis of User Behaviors in Medical Cyber-Physical Systems