Timing verification by successive approximation
scientific article; zbMATH DE number 758657