Simulation and verfication of HDLC/NRM protocol - Balagopal K (computer science,cusat, 1989)