@inproceedings{CBSE-2012-BenesBCO,
	author        = "Nikola Benes and Barbora Buhnova and Ivana Cerná and Radek Oslejsek",
	booktitle     = "{Proceedings of the 15th International Symposium on Component-Based Software Engineering}",
	doi           = "10.1145/2304736.2304752",
	isbn          = "978-1-4503-1345-2",
	pages         = "83--92",
	publisher     = "{ACM}",
	title         = "{Reliability analysis in component-based development via probabilistic model checking}",
	year          = 2012,
}