Model-Driven Testing - Baker, Paul; Dai, Zhen Ru; Grabowski, Jens; Haugen, Øystein; Schieferdecker, Ina; Williams, Clay (Springer Berlin Heidelberg, 2008)