László Lengyel Tihamer Levendovszky Hassan Charaf Validated model transformation-driven software development. 106-119 2008 31 IJCAT 1/2 http://dx.doi.org/10.1504/IJCAT.2008.017723 db/journals/ijcat/ijcat31.html#LengyelLC08