Hybrid System-Oriented Model Formal Transformation Based on MARTE Language
LI Guo-zheng, CAO Zi-ning
Computer and Modernization . 2015, (6): 64 -68 .  DOI: 10.3969/j.issn.1006-2475.2015.06.014