Slide 1 System Modelling and Verification The lecture contains material from Lothar Thiele, ETH Zurich Slide 2 2 Kai Lampka Processing system are everywhere and they are…