[Merlin79] P.M. Merlin, Specification and Validation of Protocols, IEEE, Communications, 27, 11, Nov,1979 []