Panagiotis Manolios Sudarshan K. Srinivasan Daron Vroon BAT: The Bit-Level Analysis Tool. 303-306 2007 conf/cav/2007 CAV http://dx.doi.org/10.1007/978-3-540-73368-3_35 db/conf/cav/cav2007.html#ManoliosSV07