Elektrotechnische Grundlagen der Informatik
Programmieren eingebetteter Systeme mit Lego Mindstorms
Modellierung technischer und physikalischer Systeme
Formale Methoden für eingebettete Systeme