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