https://9lib.org/document/yj7rw3o6-rigorous-integration-of-delay-differential-equations.html