Reference:

Javier Esparza, Pierre Ganty, and Rupak Majumdar. A perfect model for bounded verification. In Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Cmputer Sience (LICS 2012), pages 285–294, 2012.

Suggested BibTeX entry:

@inproceedings{lics12,
    author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
    booktitle = {Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Cmputer Sience (LICS 2012)},
    pages = {285--294},
    title = {A Perfect Model for Bounded Verification},
    year = {2012}
}