Rohit Kumar, Bing Li, Yiren Shen, Ulf Schlichtmann, Jiang Hu: Timing verification for adaptive integrated circuits. DATE 2015: 1587-1590