Shaunak Chatterjee Shuvendu K. Lahiri Shaz Qadeer Zvonimir Rakamaric A Reachability Predicate for Analyzing Low-Level Software. 19-33 2007 conf/tacas/2007 TACAS http://dx.doi.org/10.1007/978-3-540-71209-1_4 db/conf/tacas/tacas2007.html#ChatterjeeLQR07