@Inproceedings{EPTCS57.2, author = {Leitner-Fischer, Florian and Leue, Stefan}, year = {2011}, title = {QuantUM: Quantitative Safety Analysis of UML Models}, editor = {Massink, Mieke and Norman, Gethin}, booktitle = {{\rm Proceedings Ninth Workshop on} Quantitative Aspects of Programming Languages, {\rm Saarbr\"ucken, Germany, April 1-3, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {57}, publisher = {Open Publishing Association}, pages = {16-30}, doi = {10.4204/EPTCS.57.2}, }