Fig. 8From: Symbolic execution and timed automata model checking for timing analysis of Java real-time systemsScreenshot of UPPAAL Back to article page