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