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