Rauh, A., & Auer, E. (2022). Verified Integration of Differential Equations with Discrete Delay. Acta Cybernetica, 25(3), 677-702. https://doi.org/10.14232/actacyb.290904