Sandip Ray Jayanta Bhadra A Mechanized Refinement Framework for Analysis of Custom Memories. 239-242 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.4 db/conf/fmcad/fmcad2007.html#RayB07