Formal Methods for Embedded Systems
See the
German page
for details about this lecture.