Books by Zebo Peng
Time-Predictable Embedded Soft
Time-Predictable Embedded Software on Multi-Core Platforms
Analysis and synthesis of distributed real-time embedded systems
System-level test and validation of hardware/software systems
A formal methodology for autom
A formal methodology for automated synthesis of VLSI systems