Hillel Kugler Cory Plock Amir Pnueli Synthesizing reactive systems from LSC requirements using the play-engine. 801-802 2007 conf/oopsla/2007c OOPSLA Companion http://doi.acm.org/10.1145/1297846.1297895 db/conf/oopsla/oopsla2007c.html#KuglerPP07