Actually, the incremental funtionalities of ATL have been integrated in a more recent research prototype called Reactive-ATL. This prototype offers these incremental capabilities (the features and limitations of the support for incremental ATL transformation is further described here) along with lazy evaluation in order to improve scalabillity in a wide range of scenarios.