Communication Protocol Specification and Verification by Richard Lai & Ajin Jirachiefpattana