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 2, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4216.