Efficient Symbolic Simulation of Low Level Software. - Tamarah Arons; Elad Elster; Shlomit Ozer; Jonathan Shalev; Eli Singerman (DATE, 2008)