Behavioral modeling and verification of C4ISR system capability requirements
HE Hong-yue，WANG Zhi-xue，DONG Qing-chao，XU Jing，ZHANG Zhao-wei
Journal of Systems Engineering and Electronics . 2012, (6): 1153 -1160 .  DOI: 10.3969/j.issn.1001-506X.2012.06.13