Reactive modules,” (1996)

by R Alur, T A Henzinger
Venue:in FORMAL METHODS IN SYSTEM DESIGN.