Real-Time Design Patterns
Systemprogrammierung
Safety and Reliability Engineering
Formale Methoden für eingebettete Systeme
Programmierung Eingebetteter Hardware
Entwurf eingebetteter Software