Thomas Ball Brian Hackett Shuvendu K. Lahiri Shaz Qadeer Julien Vanegue Towards Scalable Modular Checking of User-Defined Properties. 1-24 2010 VSTTE http://dx.doi.org/10.1007/978-3-642-15057-9_1 conf/vstte/2010 db/conf/vstte/vstte2010.html#BallHLQV10