Email Record: Modeling embedded systems and SoCs :