[Danthine82] A.A.S. Danthine, Protocol Representation with Finite State Machines, Computer Network Architectures and Protocols, P. E. Green, Jr. editor, 579-606, Plenum Press, 1982 []