Model-Based Testing of Reactive Systems : Advanced Lectures - Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner ((Lecture Notes in Computer Science))