Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang 0001. MDE-Based Verification of SysML State Machine Diagram by UPPAAL. In Yuyu Yuan, Xu Wu, Yueming Lu, editors, Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers. Volume 320 of Communications in Computer and Information Science, pages 490-497, Springer, 2012. [doi]