1. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design??15, 7???48 (1999);
2. A preliminary version appeared in the Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 207???218. IEEE Computer Society Press, Los Alamitos (1996)
3. Lecture Notes in Computer Science;L. Alfaro de,2001
4. de Alfaro, L.: Formal verification of probabilistic systems, Ph.D. thesis, Stanford University (1997)
5. Lecture Notes in Computer Science;L. Alfaro de,1998