Study on action semantics of executable capability requirement models
WANG Zhi-xue, ZHANG Wei-zhong, ZHAO Wen, JIANG Zhi-ping
Journal of Systems Engineering and Electronics . 2011, (12): 2662 -2667 .  DOI: 10.3969/j.issn.1001-506X.2011.12.17