B. Nokovic and E. Sekerinski, “Model-based WCET Analysis with Invariants”, ECEASST, vol. 72, Nov. 2015.