Model-Based Testing of Reactive Systems Advanced Lectures - Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander (Springer Berlin Heidelberg, 2005)