Temporal Logic + Timed Automata: Expressiveness and Decidability.

Ahmed Bouajjani, Yassine Lakhnech

Browse the full CONCUR paper archive.