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