Simulation and verification of X.25 protocol - Gopakumar D (computer science,cusat, 1992)