Reference:

Nikola Benes, Jan Kretinsky, Kim G. Larsen, Mikael H. Moller, and Jiri Srba. Parametric modal transition systems. In Bultan and Hsiung, pages 275–289.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaBenesKLMS11,
    author = {Nikola Benes and Jan Kretinsky and Kim G. Larsen and Mikael H. Moller and Jiri Srba},
    booktitle = {ATVA},
    editor = {Tevfik Bultan and Pao-Ann Hsiung},
    pages = {275-289},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Parametric Modal Transition Systems},
    volume = {6996},
    year = {2011}
}