R. O N I Rosner

On the Synthesis of an Asynchronous Reactive Module

A. Pnueli, A. M L R P N U E L I, R. O N I Rosner, 1989, ICALP.