Communication Protocol Specification and Verification (Kluwer International Series in Engineering and Computer Science, 464)