Fig. 9From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systemsTA controlling a periodic taskBack to article page