Distributed fault detection in communication protocols using extended finite state machines
K. Vijayananda