Huimin Lin Wang Yi Axiomatising timed automata. 277-305 2002 38 Acta Inf. 4 http://link.springer.de/link/service/journals/00236/bibs/2038004/20380277.htm db/journals/acta/acta38.html#LinY02