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