Download			Description
ATL	ATL Designer		Tool for an interactive design of the ATL models
	ATL Web Service (SOAP)		The SOAP Web service used for checking the ATL models
	ATL Web Service (RESTful)		The RESTful Web service used for checking the ATL models
	C#	ATL Library	The C# Class Library (Visual Studio 2010)
		Example of use	Example of use (Visual Studio 2010 Project)
		Source code	C# source code for testing the ATL Library
		Zip Library 1)	Class library for compression in zip format of ATL models
	Java	ATL Library	The Java Class Library ( JDK version 7)
		Example of use	Example of use (NetBeans 7.2 Project)
		Source code	Java source code for testing the ATL Library
		GraphStream Library 2)	Packages used for internal representation of the ATL models
CTL	CTL Designer		Tool for an interactive design of the CTL models
	CTL Web Service		The Web service used for checking the CTL models
	C#	CTL Library	The C# Class Library (Visual Studio 2010)
		Example of use	Example of use (Visual Studio 2010 Project)
		Source code	C# source code for testing the CTL Library
		Zip Library 1)	Class library for compression in zip format of CTL models
	Java	CTL Library	The Java Class Library ( JDK version 7)
		Example of use	Example of use (NetBeans 7.2 Project)
		Source code	Java source code for testing the CTL Library
		GraphStream Library 2)	Packages used for internal representation of the CTL models

¹) External library http://dotnetzip.codeplex.com/
²) External library http://graphstream-project.org/