Bashar Nuseibeh Report on the Second IEEE International Symposium on Requirements Engineering (RE `95), York, UK, 27-29 March 1995. 249-253 1995 2 Autom. Softw. Eng. 3 db/journals/ase/ase2.html#Nuseibeh95