Using AOP to ensure component interactions in component-based software | IEEE Conference Publication | IEEE Xplore