Model-Based Testing Of Reactive Systems door Manfred Broy