Research on system-of-systems combat simulation model formal specification and representation
Liu Chen
Journal of Systems Engineering and Electronics . 2006, (4): 901 -909 .  DOI: 10.1016/S1004-4132(07)60035-8