5 books • 2 series
Contracts for System Design (Foundations and Trends in Electronic Design Automation)
Platform-Based Design
Languages and Tools for Hybrid Systems Design (Foundations and Trends (R) in Electronic Design Automation)
Foundations and Trends
Foundations and Trends: Languages and Tools for Hybrid Systems Design