Text this: Patterns for time-triggered embedded systems : building reliable applications with the 8051 family of microcontrollers / Michael J. Pont.