[PPT] - The Integration of SMT Solvers into the RISCAL Model Checker Second PowerPoint Presentation