xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. - Chunlin Guan; Yi Ao; Dehui Du; Frédéric Mallet (APSEC, 2018)

Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. - Ping Huang; Kaiqiang Jiang; Chunlin Guan; Dehui Du (COMPSAC (1), 2018)

Model Checking Coordination of CPS Using Timed Automata. - Kaiqiang Jiang; Chunlin Guan; Jiahui Wang; Dehui Du (COMPSAC (1), 2018)