Sayantan Das Prasenjit Basu Ansuman Banerjee Pallab Dasgupta P. P. Chakrabarti Chunduri Rama Mohan Limor Fix Roy Armoni Formal verification coverage: computing the coverage gap between temporal specifications. 198-203 2004 conf/iccad/2004 ICCAD http://doi.acm.org/10.1145/1112239.1112276 db/conf/iccad/iccad2004.html#DasBBDCMFA04