Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes - Wolf, Fabian (Kluwer)