Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer. Translating essential OCL invariants to nested graph constraints for generating instances of meta-models. Science of Computer Programming, 152:38-62, 2018. [doi]
Abstract is missing.