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