Anubhav Gupta Kenneth L. McMillan Zhaohui Fu Automated assumption generation for compositional verification. 285-301 2008 32 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-008-0050-0 db/journals/fmsd/fmsd32.html#GuptaMF08