@InProceedings{LFL11,
author={Florian Leitner-Fischer and Stefan Leue},
title={{QuantUM}: Quantitative Safety Analysis of {UML} Models},
booktitle={Proc. 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11)},
year={2011},

address={},
month={},
note={},
key={}
}