Aranega, V.; Etien, A.; Dekeyser, J.-L. Using an Alternative Trace for QVT. ECEASST 2011, 42.