Small Memory Software
Formal Methods for Embedded Systems
Embedded Software Design
Safety and Reliability Engineering
Programming of Embedded Hardware
Safety Critical Control Systems Design
SUN Software Award 2006