A fault model notation and error-control scheme for switch-to-switch buses in a network-on-chip | IEEE Conference Publication | IEEE Xplore