Reference:

Javier Esparza and Jörg Kreiker. Three case studies on verification of infinite-state systems. In Modern Applications of Automata Theory. World Scientific Publishing, 2012.

Suggested BibTeX entry:

@article{iisc:handbook,
    author = {Javier Esparza and J\"org Kreiker},
    booktitle = {Modern Applications of Automata Theory},
    publisher = {World Scientific Publishing},
    title = {Three Case Studies on Verification of Infinite-State Systems},
    year = {2012}
}