Kamburjan, E., Mitsch, S. and Hähnle, R. 2022. A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Transactions on Embedded Systems. 8, 2 (Dec. 2022), 04:1–04:34. DOI:https://doi.org/10.4230/LITES.8.2.4.