Component-based software testing with UML - Gross, Hans-Gerhard (Springer-Verlag, 2005)