ITRON-MP: an adaptive real-time kernel specification for shared-memory multiprocessor systems | IEEE Journals & Magazine | IEEE Xplore