A framework for detecting interface violations in component-based software | IEEE Conference Publication | IEEE Xplore