Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. - Xiao Han 003; Tao Tang 004; Jidong Lv; Haifeng Wang (RSSRail, 2016)

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. - Mingshuai Chen; Xiao Han 003; Tao Tang 004; Shuling Wang 003; Mengfei Yang; Naijun Zhan; Hengjun Zhao; Liang Zou (Provably Correct Systems, 2017)

A hierarchical verification approach to verify complex safety control systems based on STAMP. - Xiao Han 003; Tao Tang 004; Jidong Lv (Sci. Comput. Program., 2019)