Modeling embedded systems and SoCs : concurrency and time in models of computation - Jantsch, Axel. (The Morgan Kaufmann series in systems on silicon., 2004)