@inproceedings{Kup06b,
    author    =   "O. Kupferman",
    title     =   "Sanity Checks in Formal Verification", 
    booktitle =    "Proc. 17th International Conference on Concurrency Theory",
    pages     = "37--51",
    series    = "Lecture Notes in Computer Science",
    volume    = 4137,
    publisher = "Springer-Verlag",
    year      = 2006
}