Modeling Embedded Systems and SoC's