T. Kühne, G. Mezei, E. Syriani, H. Vangheluwe, and M. Wimmer, “Systematic Transformation Development”, ECEASST, vol. 21, Nov. 2009.