@inproceedings{CKV01,
	author	    =   "H. Chockler and O. Kupferman and M.Y. Vardi",
        title       =   "Coverage Metrics for Temporal Logic Model Checking",
        booktitle = 	"Tools and algorithms for the construction and
                  analysis of systems",  
        series      =   "Lecture Notes in Computer Science",
        number      =   2031
        pages       =   "528 -- 542",
        publisher   =   "Springer-Verlag",
        year        =   "2001"
}