Kamburjan, Eduard, Stefan Mitsch, and Reiner Hähnle. 2022. “A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems”. Leibniz Transactions on Embedded Systems 8 (2). Wadern, Germany:04:1-04:34. https://doi.org/10.4230/LITES.8.2.4.