Specification and Design of Embedded Systems

Principles of Digital Design - Daniel D. Gajski

Embedded Real–Time Systems: A Specification and Design... - Calvez, Jean Paul

Specification and Design Methodology for Real-Time Embedded Systems, Hardcove...

SPECIFICATION AND DESIGN OF EMBEDDED SYSTEMS -1994- HARDCOVER BOOK

Principles of Digital Design: United States Edition, Gajski, Daniel D

Global Specification and Validation of Embedded Systems : Integrating Heterog...

Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski