R. Eramo and A. Bucaioni, “Understanding bidirectional transformations with TGGs and JTL”, ECEASST, vol. 57, Sep. 2013.