Timed Automata Can Always Be Made Implementable.

Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane

Browse the full CONCUR paper archive.