@Article{KNPQ13,
author={M. Kwiatkowska and G. Norman and D. Parker and H. Qu},
title={Compositional Probabilistic Verification through Multi-Objective Model Checking},
journal={Information and Computation},
year={2013},

volume={232},
number={},
pages={38--65},
publisher={Elsevier},
month={},
note={},
key={}
}