U-link scheduling: bounding execution time of real-time tasks with multi-case execution time on SMT processors | IEEE Conference Publication | IEEE Xplore