@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={} }