Automatic Component Protocol Generation and Verification of Components | IEEE Conference Publication | IEEE Xplore