1. Arlow J, Neustadt I. UML 2 and the unified process: practical object-oriented analysis and design. 3rd ed. Boston: Addison-Wesley Professional; 2005.
2. Booch G, Rumbaugh J, Jacobson I. The unified modeling language user guide. 2nd ed. Boston: Addison-Wesley Professional; 2005.
3. Fowler M. UML distilled: a brief guide to the standard object modeling language. 3rd ed. Boston: Addison-Wesley Professional; 2003.
4. Gane C, Sarson T. Structured system analysis. Englewood Cliffs: Prentice-Hall; 1979.
5. Gaudin E, Najm E, Reed R. Proceedings of the SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, Sept 2007, vol. 4745. Lecture Notes in Computer Science; 2007.