Return to Article Details Model Detection for Software Security in Medical Cyber Physical Systems