Techniques for building timing-predictable embedded systems / Nan Guan. Cham : Springer, 2016