Functional-level energy characterization of μC/OS-II and Cache locking for energy saving | Nokia Bell Labs Journals & Magazine | IEEE Xplore