Component-Based Software Testing with UML - Groß, H.-G. (Springer, 2004)