Alessandra Russo Bashar Nuseibeh Jeff Kramer Restructuring requirement specifications. 44-50 1999 146 IEE Proceedings - Software 1 db/journals/iee/iee-s146.html#RussoNK99