Reference:

Nikola Benes, Jan Kretinsky, Kim G. Larsen, Mikael H. Moller, and Jiri Srba. Parametric modal transition systems. Technical report FIMU-RS-2011-03, Faculty of Informatics, Masaryk University, Brno, 2011.

Suggested BibTeX entry:

@techreport{DBLP:confatvaBenesKLMS11-techrep,
    author = {Nikola Benes and Jan Kretinsky and Kim G. Larsen and Mikael H. Moller and Jiri Srba},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2011-03},
    title = {Parametric modal transition systems},
    type = {Technical report},
    year = {2011}
}