Bashar Nuseibeh Crosscutting requirements. 3-4 2004 conf/aosd/2004 AOSD http://doi.acm.org/10.1145/976270.976272 db/conf/aosd/aosd2004.html#Nuseibeh04