Embedded System Design: Modeling, Synthesis, Verification Ch 2: System Design Methodologies Uncategorized