Reference:

Javier Esparza, Pierre Ganty, and Rupak Majumdar. A perfect model for bounded verification. Technical report, arXiv.org, 2012.

Suggested BibTeX entry:

@techreport{DBLP:journalscorrabs-1201-3194,
    author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
    institution = {arXiv.org},
    journal = {CoRR},
    title = {A Perfect Model for Bounded Verification},
    volume = {abs/1201.3194},
    year = {2012}
}