CTL Library (Java)

In case of huge ATL models, with many states, is required the use a programmatic construction of these models using an API Library.

Library CTL Library
Example of use NetBeans 7.2 Project

Source code


External dependencies can be viewed and downloaded from Download software page.

The CTL model used in examples is: