Communication Protocol Specification and Verification door Richard Lai & Ajin Jirachiefpattana