1. AML website. url:
http://homepages.cwi.nl/jacob/aml
2. The Archimate project. url:
http://www.telin.nl/NetworkedBusiness/Archimate/ENindex.htm
3. Berlea, A., Seidl, H.: fxt a transformation language for XML documents. Journal of Computing and Information Technology 10(1), 19–35 (2002)
4. Bzivin, J., Dup, G., Jouault, F., Pitette, G., Rougui, J.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: OOPSLA 2003 Workshop, Anaheim, California, October 27 (2003),
http://modelware.inria.fr/rubrique12.html
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1986)