PTL uses ATL-style rules which combined with logic rules to define transformations. 

Platforms:
Developers :
University of Almería and University of Madrid

Comparison of Model Transformation Tools