Real-Time Embedded Systems door Gabriele Manduchi, Jiayin Li & Ivan Cibrario Bertolotti