HandbookofReal-TimeandEmbeddedSystems