@InProceedings{NPK+03,
author={G. Norman and D. Parker and M. Kwiatkowska and S. Shukla and  R. Gupta},
title={Using Probabilistic Model Checking for Dynamic Power Management},
booktitle={Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03)},
year={2003},

editor={M. Leuschel and S. Gruner and S. Lo Presti},
pages={202--215},
organization={},
publisher={},
series={Technical Report DSSE-TR-2003-2, University of Southampton},
volume={},
address={},
month={April},
note={},
key={}
}