Modeling Embedded Systems and SoC''s by Axel Jantsch