Toong Shoon Chan Ian Gorton Formal Validation of a High Performance Error Control Protocol using SPIN. 105-124 1996 26 Softw., Pract. Exper. 1 db/journals/spe/spe26.html#ChanG96