Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches. - Jinghao Sun; Nan Guan; Jingchang Sun; Xi Zhang 022; Yaoyao Chi; Feng Li 032 (IEEE Trans. Computers, 2021)