Verification Of Reactive Systems by Klaus Schneider