On the Synthesis of a Reactive Module.

Amir Pnueli, Roni Rosner

Browse the full POPL paper archive.