MSimDRAM: Formal Model Driven Development of a DRAM Simulator | IEEE Conference Publication | IEEE Xplore