[PPT] - TELECOM Paris AADL tools portfolio for real-time systems virtual PowerPoint Presentation