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