Author: Hungary) International Conference on the Quantitative Evaluation of Systems (6th 2009 Budapest