[PPT] - Formal Models and Analysis for Self-Adaptive Cyber- Physical PowerPoint Presentation