V. Aranega, A. Etien, and J.-L. Dekeyser, “Using an Alternative Trace for QVT”, eceasst, vol. 42, Dec. 2011.