Verification of an abstract component using communication patterns | IEEE Conference Publication | IEEE Xplore