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