Alexander Pretschner

• Model-Based Testing of Reactive Systems