R.: On the synthesis of an asynchronous reactive module (1989)

by A Pnueli, Rosner
Venue:ICALP. Volume 372 of LNCS