[Som 07] I. Sommerville: Software Engineering, Addison-Wesley, 8th ed., 2007; 9th ed., 2010. AMAZON

[Let 05] T. C. Lethbridge, R. Laganière, Object-Oriented Software Engineering, 2nd ed., McGraw-Hill, 2005. AMAZON

[Jov 14] A. Jović, M. Horvat, I. Grudenić: UML-dijagrami: zbirka primjera i riješenih zadataka, Graphis d.o.o. Zagreb, 2014. FER

[Boo 05] G. Booch, J. Rumbaugh, I. Jacobson: Unified Modeling Language User Guide, 2nd ed., Addison Wesley, 2005. AMAZON

[Ben 04] S. Bennett, J. Skelton, K. Lunn: Schaum's Outline of UML, 2nd ed., McGraw-Hill Europe, 2004. AMAZON

[Odo 05] M. O’Docherty, Object-oriented analysis and design: understanding system development with UML 2.0, John Wiley & Sons Ltd, 2005. AMAZON

[Šri 01] J. Šribar, B. Motik: Demistificirani C++, Element, 2001. ELEMENT

[Pol 03] G. Pollice, L. Augustine, C. Lowe, J. Madhur: Software Development for Small Teams: A RUP-Centric Approach, Addison-Wesley, 2003. AMAZON

[Sha 06] M. Shaw, P. Clements: The golden age of software architecture, IEEE Software, vol 23, no 2, March/April 2006.

[Boo 07] G. Booch, R. A. Maksimchuk, M. W. Engle, B. J. Young: Object-Oriented Analysis and Design with Applications, 3rd ed., Addison-Wesley Professional, 2007. AMAZON

[Mye 04] G. Myers: The art of software testing, 2nd ed., John Wiley & Sons, New Jersey, 2004. AMAZON

[Sie 96] S. Siegel: Object-Oriented Software Testing: A Hierarchical Approach, John Wiley & Sons, New Jersey, 1996. AMAZON

[Cla 99] E. Clarke, O. Grumberg, D. Peled: Model Checking, MIT Press 1999. MIT_PRESS

[Hut 04] M. Huth, M. Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd ed., Cambridge University Press, 2004. AMAZON

[Tay 09] R. Taylor, N. Medvidovic, E. M. Dashofy: Software Architecture: Foundations, Theory, and Practice; John Wiley & Sons, Inc., 2009. WILEY

[Šil 99] J. Šilc, B. Robić, T. Ungere: Processor Architecture, From Dataflow to Superscalar and Beyond, Springer 1999. AMAZON