From Timed Automata to Logic (1995)

by Back