Howard Bowman Time and Action Lock Freedom Properties for Timed Automata. 119-134 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#Bowman01