Rauh, Andreas, and Ekaterina Auer. 2022. “Verified Integration of Differential Equations With Discrete Delay”. Acta Cybernetica 25 (3), 677-702. https://doi.org/10.14232/actacyb.290904.