Synthesis Models, Uni Stuttgart, Embedded System Engineering Lecture 2