Reference:

Jan Kretinsky and Salomon Sickert. On refinements of Boolean and parametric modal transition systems. Technical Report abs/1304.5278, arXiv.org, 2013.

Suggested BibTeX entry:

@techreport{DBLP:confictacKretinskyS13-techreport,
    author = {Jan Kretinsky and Salomon Sickert},
    institution = {arXiv.org},
    number = {abs/1304.5278},
    title = {On Refinements of {B}oolean and Parametric Modal Transition Systems},
    year = {2013}
}