Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates | IEEE Conference Publication | IEEE Xplore