To meet time-to-market and productivity pressures, embedded-system developers increasingly consider and use high-level design-software tools that provide more abstraction, simpler representations of ...