@Article{KNP08a,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Using probabilistic model checking in systems biology},
journal={ACM SIGMETRICS Performance Evaluation Review},
year={2008},

volume={35},
number={4},
pages={14-21},
_month={March},
note={},
key={}
}