KAMBURJAN, E.; MITSCH, S.; HÄHNLE, R. A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 8, n. 2, p. 04:1–04:34, 2022. DOI: 10.4230/LITES.8.2.4. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a004. Acesso em: 2 feb. 2023.