Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.
Specification and Verification of Aspects Shmuel Katz.