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