A Behavioral Coordination Operator Language (BCOoL) | IEEE Conference Publication | IEEE Xplore