Automatic verification of stability and safety for delay differential equations
scientific article; zbMATH DE number 6845641