Real-time embedded systems with open-source operating systems - Bertolotti, Ivan Cibrario (CRC Press,, 2026)