Nokovic, B.; Sekerinski, E. Model-Based WCET Analysis With Invariants. ECEASST 2015, 72.