@TechReport{KNPQ10a,
author={M. Kwiatkowska and G. Norman and D. Parker and H. Qu},
title={Assume-Guarantee Verification for Probabilistic Systems},
institution={Oxford University Computing Laboratory},
year={2009},

type={},
number={RR-09-17},
address={},
month={December},
note={},
key={}
}