Non-preemptive demand paging technique for NAND flash-based real-time embedded systems | IEEE Journals & Magazine | IEEE Xplore