On the synthesis of a reactive module (1989)

by A Pnueli, R Rosner
Venue:In Proc. 16th ACM Symp. on Principles of Programming Languages