Rauh, Andreas, and Ekaterina Auer. “Verified Integration of Differential Equations With Discrete Delay”. Acta Cybernetica 25, no. 3 (January 21, 2022): 677-702. Accessed April 26, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4216.