Bashar Nuseibeh Editorial. 5 2000 7 Autom. Softw. Eng. 1 db/journals/ase/ase7.html#Nuseibeh00