4 works on record
System synthesis with VHDL
Analysis and synthesis of distributed real-time embedded systems
System-level design techniques for energy-efficient embedded systems
Time-Predictable Embedded Software on Multi-Core Platforms
