[PPT] - Exploiting the Temporal Logic Hierarchy and the Non-Confluence PowerPoint Presentation