@Article{kamburjan_et_al:LITES.8.2.4,
author = {Kamburjan, Eduard and Mitsch, Stefan and H\"{a}hnle, Reiner},
title = {{A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {04:1--04:34},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.4},
doi = {10.4230/LITES.8.2.4},
annote = {Keywords: Active Objects, Differential Dynamic Logic, Hybrid Systems}
}