SMS: Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation