Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.