Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution