A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

Published in Leibniz Transactions on Embedded Systems, 2022

Recommended citation: Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle. (2022). Leibniz Trans. Embed. Syst.