Testing of Software and Communicating Systems - Veanes, Margus (Springer Berlin Heidelberg, 2020)