Spatio-temporal Properties Analysis for Cyber-physical Systems. - Zhucheng Shao; Jing Liu 012; Zuohua Ding; Mingsong Chen 001; Ningkang Jiang (ICECCS, 2013)

Spatio-temporal Hybrid Automata for Cyber-Physical Systems. - Zhucheng Shao; Jing Liu 012 (ICTAC, 2013)

Unified Modeling of Active and Reactive Components for Real-Time Systems. - Zhucheng Shao; Jing Liu 012; Xiaohong Chen 007; Zuohua Ding; Zhengheng Yuan (TASE, 2013)