RETR: Reverse Engineering to Requirements. - Yijun Yu; John Mylopoulos; Yiqiao Wang 001; Sotirios Liaskos; Alexei Lapouchnian; Ying Zou 001; Martin Littou; Julio César Sampaio do Prado Leite (WCRE, 2005)