@Article{AL10,
author={H. Aljazzar and S. Leue},
title={Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking},
journal={IEEE Transactions on Software Engineering},
year={2010},

volume={36},
number={1},
pages={37-60},
publisher={IEEE Computer Society},
month={},
note={},
key={}
}