@inbook{dane-2026-towards, title={Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types}, ISBN={9783032280794}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-28079-4_21}, DOI={10.1007/978-3-032-28079-4_21}, booktitle={NASA Formal Methods}, publisher={Springer Nature Switzerland}, author={Dane, Serra Z. and Chen, Jiawei and Pouzet, Marc and Jeannin, Jean-Baptiste}, year={2026}, pages={456–476} }