@article{BJP+12,
title = {Synthesis of Reactive(1) designs },
author = {Bloem, Roderick and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Sa'ar, Yaniv},
year = {2012},
journal = {J. Comput. Syst. Sci.},
number = {3},
pages = {911-938},
volume = {78},
team = {DCS},
}