Control Barrier Function Toolbox: An Extensible Framework for Provable Safety. - Andrew Schoer; Helena Teixeira-Dasilva; Christian So; Makai Mann; Roberto Tron (NFM, 2024)