Composition, reuse and interaction analysis of stateful aspects