Text this: Modeling embedded systems and SoCs :