Prashant S. Parikh Miron Abramovici A Cost-Based Approach to Partial Scan. 255-259 1993 DAC http://doi.acm.org/10.1145/157485.164882 db/conf/dac/dac93.html#ParikhA93