Automated Reasoning on Aspects Interactions