Protocol Verification in a Software Component-Based Approach | IEEE Conference Publication | IEEE Xplore