S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,”10.1007/978-3-540-30187-5_17__2004, doi:10.1007/978-3-540-30187-5_17 .