@article{MTMT:1498227,
	title = {Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems},
	url = {https://m2.mtmt.hu/api/publication/1498227},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, Wolfgang and Sztrik, János},
	journal-iso = {ANN MATH INFORM},
	journal = {ANNALES MATHEMATICAE ET INFORMATICAE},
	volume = {37},
	unique-id = {1498227},
	issn = {1787-5021},
	abstract = {We describe the results of analyzing the performance model of a finitesource
		retrial queueing system with the probabilistic model checker PRISM.
		The system has been previously investigated with the help of the performance
		modeling environment MOSEL; we are able to accurately reproduce the results
		reported in literature. The present paper compares PRISM and MOSEL
		with respect to their modeling languages and ways of specifying performance queries and benchmark the executions of the tools.},
	year = {2010},
	eissn = {1787-6117},
	pages = {51-75}
}