@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={} }