Research of protocol formal description based on RSL
Xiang GU Jianlin Qiu
Journal of Computer Applications . 2007, (9): 2236 -2238 .