Stav dette: Modeling embedded systems and SoC's :