Performance Measured by Timed Automata