Techniques for Building Timing-Predictable Embedded Systems - Guan, Nan (Springer International Publishing : Imprint: Springer, 2016)