Reference:

Javier Esparza, Orna Kupferman, and Moshe Vardi. Verification. In Hanbook on Automata Theory. European Mathematical Society, 2012. To appear.

Suggested BibTeX entry:

@article{EKV12:handbook,
    author = {Javier Esparza and Orna Kupferman and Moshe Vardi},
    booktitle = {Hanbook on Automata Theory},
    note = {To appear},
    publisher = {European Mathematical Society},
    title = {Verification},
    year = {2012}
}