Fig. 6From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systemsTA after state reductionBack to article page