Real-Time Design Patterns
System Programming
Safety and Reliability Engineering
Formal Methods for Embedded Systems
Programming of Embedded Hardware
Embedded Software Design