Case Studies. - Wolfgang Prenninger; Mohammad El-Ramly; Marc Horstmann (Model-Based Testing of Reactive Systems, 2004)