1. The Murφ Model Checker (1996) http://verify.stanford.edu/dill/murphi.html
2. Alur R, Dill DL (1994) A theory of timed automata. Theoretical Computer Science 126:183–235
3. Baldan P, Corradini A, König B (2001) A static analysis technique for graph transformation systems. In: Larsen KG, Nielsen M (eds) CONCUR 2001 – Concurrency Theory, 12th International Conference, LNCS, vol 2154. Springer, Aalborg, Denmark, pp 381–395
4. Baldan P, König B (2002) Approximating the behaviour of graph transformation systems. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Proc. ICGT 2002: First International Conference on Graph Transformation, LNCS, vol 2505. Springer, Barcelona, Spain, pp 14–29
5. Baresi L, Heckel R, Thöne S, Varró D (2003) Modeling and analysis of architectural styles. In: Inverardi P, Paakki J (eds) Proc ESEC 2003: 9th European Software Engineering Conference. ACM Press, Helsinki, Finland, pp 68–77