Techniques for building timing-predictable embedded systems - Guan, Nan (Springer, 2016)