Nokovic, B. and Sekerinski, E. (2015) “Model-based WCET Analysis with Invariants”, Electronic Communications of the EASST, 72. doi: 10.14279/tuj.eceasst.72.1026.