anATLyzer is an extension of the ATL IDE to provide advanced analysis of ATL transformations.
There is still little documentation, but the following resources are available:
anATLyzer has been created by the Miso research group.
If you have any trouble installing or using Bentō, you can contact
jesus dot sanchez dot cuadrado at uam dot es