Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches | IEEE Journals & Magazine | IEEE Xplore