Lengyel, László, Tihamér Levendovszky, and Hassan Charaf. 2005. “Constraint Validation Support in Visual Model Transformation Systems”. Acta Cybernetica 17 (2), 339-57. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3671.