Text this: High-performance and time-predictable embedded computing / Editors, Luís Miguel Pinho [and six others].