@ARTICLE {7417,
author={D. Henriques and M.  Biscaia and P. Baltazar and P. Mateus},
doi={10.1093/jigpal/jzr054},
journal={Logic Journal of the IGPL},
title={Decidability and complexity for omega-regular properties of stochastic systems},
year={2012},
month={December},
volume={20},
number={6},
pages={1175-1201},
ISSN={1368-9894}
}