Text this: From Dissipativity Theory to Compositional Construction of Control Barrier Certificates