@Article{JGB11,
author={Paul Jennings and Arka Ghosh and Samik Basu},
title={A Two-phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems},
journal={ACM Transactions on Software Engineering and Methodology},
year={2011},

volume={},
number={},
pages={},
publisher={},
month={},
note={},
key={}
}