Verification Of Reactive Systems door Klaus Schneider