An AADL Modeling Method Based on Concurrency
LI Jie-yang, CAO Zi-ning
Computer and Modernization . 2017, (5): 1 -4,9 .  DOI: 10.3969/j.issn.1006-2475.2017.05.001