Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (Systems on Silicon)