Simulation and verification od hdlc/nrm protocol - Balagopal R (computer science,cusat, 1991)