Timed vs. Time-Triggered Automata.

Pavel Krcl, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi

Browse the full CONCUR paper archive.