Bashar Nuseibeh David F. Redmiles Introduction to Special Issue. 99-100 2000 7 Autom. Softw. Eng. 2 db/journals/ase/ase7.html#NuseibehR00