@inproceedings{VC08,
 author = {Pavlína Vařeková and Ivana Černá},
 booktitle = {CBSE'08},
 pages = {146--162},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Model Checking of Control-User Component-Based Parametrised Systems},
 volume = {5282},
 year = {2008}
}