Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. - Arnaud Dieumegard; Marc Pantel; Guillaume Babin; Martin Carton (OCL@MoDELS, 2015)