Design-Time Analysis of Real-Time Traffic for Networks-on-Chip using Constraint Models | IEEE Conference Publication | IEEE Xplore