Jiang, ZhihaoAbbas, HoussamJang, Kuk JinMangharam, Rahul2023-05-222023-05-222015-11-122015-11-121. Z. Jiang, H. Abbas, K. Jang, R. Mangharam, “The Challenges of High-Confidence Medical Device Software”, IEEE Computer January Outlook, 2016.https://repository.upenn.edu/handle/20.500.14332/40690CPS MedicalCPS Model-Based DesignCPS Formal MethodsComputer EngineeringElectrical and Computer EngineeringArticle