Fast detection of cycles in timed automata. - Aakash Deshpande; Frédéric Herbreteau; B. Srivathsan; Thanh-Tung Tran; Igor Walukiewicz (CoRR, 2014)