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