Testing of Communicating Systems XIV Application to Internet Technologies and Services - Schieferdecker, Ina. (Springer US,)