Fig. 1From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systems a Running example. b Symbolic execution treeBack to article page