For every professional embedded programmer who already knows the C language well, I would strongly recommend the industry de-facto standard MISRA-C
http://www.misra-c2.com/ (costs £40). It contains rules for how to design safe, bug-free embedded applications.