1. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation 104(1), 2–34 (1993);
2. Preliminary version appears in the Proc. of 5th LICS (1990)
3. Lecture Notes in Computer Science;A.R. Bradley,2006
4. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: 2nd Int. Symp. on Programming, Dunod, Paris (1976)
5. Cousot, P.: Verification by abstract interpretation. In: Dershowitz, N. (ed.) Proc. Int. Symp. on Verification – Theory & Practice – Honoring Zohar Manna’s 64th Birthday, Taormina, Italy, June 29-July 4, pp. 243–268. Springer, Berlin (2003)