Timeliness Requirement Validation of Brake Control System Based on SysML & AADL
DENG Jia-jia, ZHANG Yu-ping, CHEN Hai-yan
Computer and Modernization . 2017, (6): 40 -44+49 .  DOI: 10.3969/j.issn.1006-2475.2017.06.008