Real-time embedded systems : open-source operating systems perspective - Bertolotti, Ivan Cibrario. (CRC Press, 2012)