An MDE-based approach to the verification of SysML state machine diagram. - Xiaopu Huang; Qingqing Sun 003; Jiangwei Li; Minxue Pan; Tian Zhang 001 (Internetware, 2012)

MDE-Based Verification of SysML State Machine Diagram by UPPAAL. - Xiaopu Huang; Qingqing Sun 003; Jiangwei Li; Tian Zhang 001 (ISCTCS, 2012)

Composition of AADL Components by Transformation to Interface Automata. - Jiangwei Li; Jizhou Zhao; Qingqing Sun 003; Xiaopu Huang; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

Timing Aspects Construction Using UML-MARTE Profile. - Qingqing Sun 003; Xiaopu Huang; Jiangwei Li; Tian Zhang 001 (ISCTCS, 2012)