1. ATL Home page. .
2. Formal interpreters for diagram notations;Baresi;ACM Transactions on Software Engineering and Methodology,2005
3. Formal methods: the very idea. Some thoughts about why they work when they work;Berry;Science of Computer Programming,2002
4. A. Bondavalli, M. Dal Cin, D. Latella, A. Pataricza, High-level integrated design environment for dependability (HIDE), in: Proceedings of WORDS’99, 1999.
5. End-to-end integrated security and performance analysis on the DEGAS choreographer platform;Buchholtz,2005