Modeling Embedded Systems and SoC's | lit.salon