Design and Formal Specification of an X.25 Packet Level Protocol Implementation | IEEE Conference Publication | IEEE Xplore