Computing worst-case contention delays for networks on chip