A Formal Framework for Hybrid Event B. - Jie Liu 013; Jing Liu 012 (TTSS, 2013)

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (COMPSAC (1), 2017)

A proof-based method of hybrid systems development using differential invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (Frontiers Comput. Sci., 2018)