A tighter recursive calculus to compute the worst case traversal time of real-time traffic over NoCs | IEEE Conference Publication | IEEE Xplore