Nathan Weston François Taïani Awais Rashid Modular Aspect Verification for Safer Aspect-Based Evolution. 17-28 2005 conf/ecoop/2005ramse RAM-SE db/conf/ecoop/ramse2005.html#WestonTR05