4[2]Jacobson I. Object-Oriented Software Engineering[ M]. Addison- Wes-ley, 1992.
5[3]ITU Recommendation Z. 100. Specification and Description Language (SDL) [Z]. 1994.
6[4]Ellsberger J, Hogrefe D, Sarma A. SDL, Formal Object-Oriented Language for Communicating Systems[M]. London: Prentice Hall, 1997.
7[5]Kurt Verschaeve, Jonckers V, Wydaeghe B, et al. Translating OMT* to SDL, Coupling Object-Oriented Analysis with Forma Description Techniques[C]. Atlanta: Method Engineering 96 Proceedings, IFIP, 1996:126- 141.
8[6]ITU Recommendation Z. 120. Message Sequence Charts (MSC) [ Z ].1994.
9[7]Gerlieh R. Tuning Development of Distribute Real-Time Systems with SDL and MSC: Current Experience and Future Issues[A]. Cavalli A,Sarma A. Eds., SDL' 97-Time for Testing[ C ]. Proc. of the 8th SDL Forum, Elsevier, 1997.
10[8]ISO Tree and Tabular Combined Notation ISO/IEC 9646-3[Z]. 1992.
