Tamarah Arons Elad Elster Limor Fix Sela Mador-Haim Michael Mishaeli Jonathan Shalev Eli Singerman Andreas Tiemeyer Moshe Y. Vardi Lenore D. Zuck Formal Verification of Backward Compatibility of Microcode. 185-198 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_20 db/conf/cav/cav2005.html#AronsEFMMSSTVZ05