An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis - Zhen Zhang; Jian Wu; Chris J. Myers; Tomohiro Yoneda; Wendelin Serwe; Hao Zheng (Science of Computer Programming, 2016)