Synthesis of Reactive(1) Designs*