William K. C. Lam Robert K. Brayton Criteria for the Simple Path Property in Timed Automata. 27-40 1994 conf/cav/1994 CAV db/conf/cav/cav94.html#LamB94 http://dx.doi.org/10.1007/3-540-58179-0_41