Timed automata as task models for event-driven systems | IEEE Conference Publication | IEEE Xplore