@TechReport{FKN+10,
author={V. Forejt and M. Kwiatkowska and G. Norman and D. Parker and H. Qu},
title={Quantitative Multi-Objective Verification for Probabilistic Systems},
institution={Oxford University Computing Laboratory},
year={2010},

type={},
number={RR-10-26},
address={},
month={},
note={},
key={}
}