@inproceedings{CKV03,
    author      =   "H. Chockler and O. Kupferman and M.Y. Vardi",
        title       =   "Coverage Metrics for Formal Verification",
        booktitle   =   "12th Advanced Research Working
                         Conference on Correct Hardware Design and
                         Verification Methods",
        series      =   "Lecture Notes in Computer Science",
        volume      =   "2860",
        pages       =   "111--125",
        publisher   =   "Springer-Verlag",
        year        =   "2003"
}