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