Modeling and verification of industrial flash memories | IEEE Conference Publication | IEEE Xplore