Kamburjan, E.; Mitsch, S.; Hähnle, R. A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. LITES 2022, 8, 04:1-04:34.