Formal Estimation of Worst-Case Communication Latency in a Network-on-Chip | IEEE Conference Publication | IEEE Xplore