Predictability and Efficiency in Contemporary Hard RTOS for Multiprocessor Systems. - Andre Nógueira; Mario Calha (RTCSA (2), 2011)