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.