Modeling Embedded Systems and Soc's by Axel Jantsch