On the Synthesis of a Reactive Module (1989)

by A Pnueli, R Rosner
Venue:In 16th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL’89