@ARTICLE {2251,
author={P. Baltazar and P. Mateus and R. Nagarajan and N. Papanikolaou},
doi={},
journal={Theoretical Computer Science},
title={Exogenous probabilistic computation tree logic},
year={2007},
month={January},
volume={190},
number={3},
pages={95-110},
ISSN={0304-3975}
}