Modeling and Verification of Component-Based Systems with Data Passing Using BIP | IEEE Conference Publication | IEEE Xplore