Co-Design and Abstraction of a Network-on-Chip Using Deterministic Network Calculus | IEEE Conference Publication | IEEE Xplore