Reference:

Jan Kretinsky and Salomon Sickert. On refinements of Boolean and parametric modal transition systems. In Liu et al., pages 213–230.

Suggested BibTeX entry:

@inproceedings{DBLP:confictacKretinskyS13,
    author = {Jan Kretinsky and Salomon Sickert},
    booktitle = {ICTAC},
    editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu},
    pages = {213-230},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {On Refinements of {B}oolean and Parametric Modal Transition Systems},
    volume = {8049},
    year = {2013}
}