A Unified Modeling and Verifying Framework for Cyber Physical Systems. - Xiaoxiang Zhai; Qiaoqiao Chen; Shunhui Ji; Bixin Li (QSIC, 2012)

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. - Jiakai Li; Bixin Li; Qiaoqiao Chen; Min Zhu; Shunhui Ji; Xiaoxiang Zhai (SEKE, 2012)

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. - Xiaoxiang Zhai; Bixin Li; Min Zhu; Jiakai Li; Qiaoqiao Chen; Shunhui Ji (SEKE, 2012)

HybridUML Based Verification of CPS Using Differential Dynamic Logic. - Min Zhu; Bixin Li; Jiakai Li; Qiaoqiao Chen; Xiaoxiang Zhai; Shunhui Ji (SEKE, 2012)