@conference {396,
	title = {Quantitative Analysis of Communication Scenarios},
	booktitle = {Proc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	author = {Clemens Dubslaff and Christel Baier}
}