Embedded System Design Modeling, Synthesis and Verification Gajski Daniel D. Innbundet / 2009 / Engelsk
