[PPT] - Josef Ressel Center for Verification of Embedded Computing Systems PowerPoint Presentation