Alur, Dill: A theory of timed automata, 1994.
A theory of timed automata.pdf
—
PDF document,
449 kB (460328 bytes)