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