Formal Description Techniques And Protocol Specification, Testing And Verification by Stan Budkowski & Elie Najm