2 books
The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Design and Analysis of Fault Tolerant Digital Systems