@inproceedings{vc2008,
    author = "P. Va\v{r}ekov\'{a} and I. \v{C}ern\'{a}",
    title = "Model Checking of Control-User Component-Based Parametrised Systems",
    booktitle = "CBSE'08",
    series = "LNCS",
    volume = "5282",
    year = "2008"
}