Communication protocol specification and verification - Lai, Richard; Jirachiefpattana, Ajin (Kluwer, 1998)