On the synthesis of a reactive module (1989)

by A Pnueli, R Rosner
Venue:In Proc. of POPL-89