Timed Automata as Task Models for Event-Driven Systems.

Christer Norstrm, Anders Wall, Wang Yi

Browse the full RTCSA paper archive.