[PPT] - Formal Specification and Verification of Distributed Components PowerPoint Presentation