Thanks for this. I was happy to see 'Patterns for Time-Triggered Embedded Systems' on your list, though the link appears broken - new link: [1]. I remember working through that book and porting everything from C to Assembly (my boss at the time was too cheap to buy me the nice Keil compiler). Once I had that library in hand, I was knocking out his projects in days instead of weeks.