@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} }