Synthesizing Reactive Systems Using Robustness and Recovery Specifications | IEEE Conference Publication | IEEE Xplore