Techniques for building timing-predictable embedded systems. ([2016])