A formal approach to the desin and implementation of network communication protocol | IEEE Conference Publication | IEEE Xplore