Verification Of Composed Hardware Systems Using CCS | IEEE Conference Publication | IEEE Xplore