4 books
Active System Control
Software Design for Resilient Computer Systems
Resilient Computer System Design
System Software Support of Hardware Defficiency