Z. Ujhelyi, Ákos Horváth, and D. Varró, “Static Type Checking of Model Transformation Programs”, eceasst, vol. 38, May 2011.