Fig. 10From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systemsTA for the task when using a complete timing modelBack to article page