Nejati, A. and Zamani, M. 2022. From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. Leibniz Transactions on Embedded Systems. 8, 2 (Dec. 2022), 06:1–06:17. DOI:https://doi.org/10.4230/LITES.8.2.6.