Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving | IEEE Conference Publication | IEEE Xplore