1. Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASM. Information & Software Technology 46(5), 287–292 (2004)
2. Carter, K.: iUMLite tool suite and ASL language. from Kennedy Carter’s website, http://www.kc.com
3. Lecture Notes in Computer Science;M. Beeck Von der,1994
4. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1995)
5. Lecture Notes in Computer Science;A. Guennec Le,2000