A verification approach for crosscutting features based on extension join points - Coelho, Roberta (2006)