Willink, E. Modeling the OCL Standard Library. ECEASST 2011, 44.