Reactive modules (1996)

by R Alur, T A Henzinger
Venue:In 11th annual IEEE symp. Logic in Computer Science (LICS ’96