Recursive Timed Automata.

Ashutosh Trivedi, Dominik Wojtczak

Browse the full ATVA paper archive.