Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh: TIC: a scalable model checking based approach to WCET estimation. LCTES 2016: 72-81