Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen: Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. 2015: 2 (2015)