Fig. 3From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systemsThe architecture of SYMRT Back to article page