5.8 Model Based Design and Verification Day - Exhibition Keynote and Application Talk