1. System Simulation;The Electronic Design Automation Handbook;2003
2. The Specification Language SpecC within the PARADISE Design Environment;Architecture and Design of Distributed Embedded Systems;2001
3. PARADISE: Design Environment for Para llel & Dis tributed, E mbedded Real-Time Systems;Distributed and Parallel Embedded Systems;1999
4. Introduction;System Level Hardware/Software Co-design;1998
5. A user-interface for a microsystems high-level simulator;Computer Aided Systems Theory — EUROCAST '95;1996