Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. - Xin Li 109; Jian Guo 005; Yongxin Zhao; Xiaoran Zhu (J. Circuits Syst. Comput., 2019)

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. - Xia Mao; Xin Li 109; Yanhong Huang; Jianqi Shi; Yueling Zhang (IEEE Trans. Ind. Informatics, 2022)