Claudio Gomes - Verification of model transformations with DSLTrans
Abstract
Reading
Implementation