Kamburjan, E., S. Mitsch, and R. Hähnle. “A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems”. Leibniz Transactions on Embedded Systems, vol. 8, no. 2, Dec. 2022, pp. 04:1-04:34, doi:10.4230/LITES.8.2.4.