Composing software components a software-testing perspective - Hamlet, Dick (Springer, 2010)