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