E. Kamburjan, S. Mitsch, and R. Hähnle, “A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems”, LITES, vol. 8, no. 2, pp. 04:1–04:34, Dec. 2022.