@article{NPK+05,
author={G. Norman and D. Parker and M. Kwiatkowska and S. Shukla and  R. Gupta},
title={Using Probabilistic Model Checking for Dynamic Power Management},
journal={Formal Aspects of Computing},
year={2005},

volume={17},
number={2},
pages={160-176},
publisher={Springer},
month={},
note={},
key={}
}