Component-Based Software Testing with UML - Gross, Hans-Gerhard (Springer Berlin Heidelberg, 2005)