High level modelling and performance evaluation of address mapping in NAND flash memory | IEEE Conference Publication | IEEE Xplore