An executable framework for modeling and validating cooperative capability requirements in emergency response system
Lei CHAI, Zhixue WANG, Ming HE, Hongyue HE, Minggang YU
Journal of Systems Engineering and Electronics . 2021, (4): 889 -906 .  DOI: 10.23919/JSEE.2021.000077