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