@inproceedings{BBB+14,
 author = {Jiří Barnat and Nikola Beneš and Tomáš Bureš and Ivana {Č}erná and Jaroslav Keznikl and František Plášil},
 booktitle = {Formal Aspects of Component Software (FACS)},
 pages = {1--20},
 publisher = {Springer},
 series = {LNCS},
 title = {{Towards Verification of Ensemble-Based Component Systems}},
 volume = {8348},
 year = {2014}
}