System Behavior Modeling for Scenario-Based Specifications
CHEN Zhong-yu, MIAO Huai-kou
Journal of Applied Sciences . 2009, (4): 403 -408 .