3 works on record
Languages and tools for hybrid systems design
Platform-Based Design
Contracts for System Design