Willink. Local Optimizations in Eclipse Qvtc and Qvtr Using the Micro-mapping Model of Computation. 2016.