1. Jasaitis, R., Bareiša, E.: Distributed system model checking design. In: Information Technologies 2011: Proceedings of the 17th International Conference on Information and Software Technologies, IT 2011, Kaunas, Lithuania, April 27-29 (2011)
2. Le, A.T.: Current Problems and Tools Support for Testing Distributed Systems. A dissertation submitted for the degree of Bachelor of Applied Science with Honours in the Department of Information Science at the University of Otago, Dunedin, New Zealand (2006)
3. Oracle. Java 2 Platform, Enterprise Edition (J2EE) Overview, http://java.sun.com/j2ee/overview.html
4. Oracle. Object-Oriented Programming Concepts, http://docs.oracle.com/javase/tutorial/java/concepts/object.html
5. Object Management Group (OMG). UML Specification, Version 2.0 (2010)