Yatin Vasant Hoskote Timothy Kam Pei-Hsin Ho Xudong Zhao Coverage Estimation for Symbolic Model Checking. 300-305 1999 DAC http://doi.acm.org/10.1145/309847.309936 db/conf/dac/dac99.html#HoskoteKHZ99