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. Wadern, Germany, 8(2), pp. 04:1–04:34. doi: 10.4230/LITES.8.2.4.