Modeling Embedded Systems and SoC''s door Axel Jantsch