Michael J. Pont, author of Embedded C (2002) mentions a 1,000-page tome: Patterns for time-triggered embedded systems: Building reliable applications with the 8051 family of microcontrollers (2001).
Turns out it is freely available, so wanted to share.