Modelling and Verification of Port Based Component Composition | IEEE Conference Publication | IEEE Xplore