publication venue for An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis 2016