Tamarah Arons Elad Elster Shlomit Ozer Jonathan Shalev Eli Singerman Efficient Symbolic Simulation of Low Level Software. 825-830 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484776 conf/date/2008 db/conf/date/date2008.html#AronsEOSS08