Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements. - Muhammad Usman Sanwal; Osman Hasan (ICCSA (1), 2013)

Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations. - Muhammad Usman Sanwal; Osman Hasan (CyPhy, 2015)