Martin Gogolla, Mirco Kuhlmann, Fabian Büttner: A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS 2008: 446-459