Determination of tight upper execution time bounds for tasks in hard real-time environments | IEEE Conference Publication | IEEE Xplore