High-performance and time-predictable embedded computing - Pinho, Luis Miguel (River Publishers series in information science and technology., 2018)