@inproceedings{FKL08,
    author      =   "D. Fisman and O. Kupferman and Y. Lustig",
    title       =   "On Verifying Fault Tolerance of Distributed Protocols",
    booktitle   =   tacas08,
    series      =   lncs,
    volume      =   4963,
    pages       =   "315-331",
    publisher   =   springer,
    year        =   2008
}