A. Rauh and E. Auer, “Verified Integration of Differential Equations with Discrete Delay”, Acta Cybern, vol. 25, no. 3, pp. 677-702, Jan. 2022.