Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing | IEEE Conference Publication | IEEE Xplore