Liliana Favre Formalizing MDA-Based Reverse Engineering Processes. 153-160 2008 SERA http://doi.ieeecomputersociety.org/10.1109/SERA.2008.21 conf/sera/2008 db/conf/sera/sera2008.html#Favre08