Real-time embedded systems Open-source operating systems perspective - Bertolotti, Ivan Cibrario (CRC, 2012)