Nir Piterman Amir Pnueli Yaniv Sa'ar Synthesis of Reactive(1) Designs. 364-380 2006 conf/vmcai/2006 VMCAI https://doi.org/10.1007/11609773_24 db/conf/vmcai/vmcai2006.html#PitermanPS06