A. Nejati and M. Zamani, “From Dissipativity Theory to Compositional Construction of Control Barrier Certificates”, LITES, vol. 8, no. 2, pp. 06:1–06:17, Dec. 2022.