[PPT] - Compositional correctness of IP-based system design: Translating PowerPoint Presentation