Zhang, et al.. An Improved Fault-tolerant Routing Algorithm for a Network-on-chip Derived with Formal Analysis. Elsevier BV, 2016, doi:10.1016/j.scico.2016.01.002.