@Article{HKN+08,
author={J. Heath and M. Kwiatkowska and G. Norman and D. Parker and O. Tymchyshyn},
title={Probabilistic model checking of complex biological pathways},
journal={Theoretical Computer Science},
year={2008},

volume={319},
number={3},
pages={239-257},
publisher={},
month={},
note={},
key={}
}