Nikhil Jayakumar Mitra Purandare Fabio Somenzi Dos and don'ts of CTL state coverage estimation. 292-295 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.775908 db/conf/dac/dac2003.html#JayakumarPS03