1. CCITT. Specification and Description Language (SDL), Recommendation Z100[R/OL]. [2008-06-11]. http://www.itu.int/ITU-T/ studygroups/com10/languages/Z.100_1199. pdf .
2. Broy M. Towards a Formal Foundation of the Specification and Description Language SDL[J].Formal Aspects of Computing, 1991, 3(1): 21–57.
3. Harel D. Statecharts: A Visual Formalism for Complex Systems[J]. Science of Computer Programming, 1987, 8(5): 231–274.
4. Van der Beek M. A Comparison of State Charts Variants[J]. Formal Techniques in Real Time and Fault-Tolerant Systems, 1994, 5(7): 128–148.
5. Booch G. Object Oriented Design with Applications[J]. Journal of Object-Oriented Programming, 1991, 3(5):74–76.