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