You are about to access our book library "Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Systems on Silicon) full version" .