Formal Verification of Communication Protocols by Mark A. S. Smith.