An interface protocol component modeling language | IEEE Conference Publication | IEEE Xplore