Testing of Software and Communicating Systems - Suzuki, Kenji (Springer Berlin Heidelberg, 2020)