@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}
}