Bravo, R., Baratchart, E., West, J., Schenck, R., Miller, A., Gallaher, J., Gatenbee, C., Basanta, D., Robertson-Tessi, M., & Anderson, A. Hybrid Automata Library [Computer software]. https://github.com/mathonco/hal