Modeling Embedded Systems And Soc`s: Concurrency And Time In Models Of Computaton - Jantsch, Axel (Morgan Kaufmann Publishers, 2004)