[PPT] - Formal Specification and Analysis of Robust Adaptive Distributed PowerPoint Presentation