1. AMMA: The AMMA platform. http://www.sciences.univ-nantes.fr/lina/atl/ (2005)
2. LNCS;M. Anlauff,2000
3. AS: OMG. The Action Semantics Consortium for the UML. ad/2001-03-01. http://www.omg.org/ (2001)
4. ASML: The ASML language website. research.microsoft.com/foundations/AsmL/ (2001)
5. AsmM: The Abstract State Machine Metamodel website. http://asmeta.sf.net/ (2006)