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