Stephen Prajna, Ali Jadbabaie: Methods for Safety Verification of Time-Delay Systems. CDC/ECC 2005: 4348-4353