Liliana Favre. Formalizing MDA-Based Reverse Engineering Processes. In Walter Dosch, Roger Y. Lee, Petr Tuma, Thierry Coupaye, editors, Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic. pages 153-160, IEEE Computer Society, 2008. [doi]