Component-Based Software Testing with UML (Springer Berlin Heidelberg, 2020)