J. Sánchez Cuadrado, F. Jouault, J. Garcí­a-Molina, and J. Bézivin, “Deriving OCL Optimization Patterns from Benchmarks”, ECEASST, vol. 15, Dec. 2008.