Modeling Embedded Systems and Soc's door Axel Jantsch