@InProceedings{NPK+02,
author={G. Norman and D. Parker and M. Kwiatkowska and S. Shukla and  R. Gupta},
title={Formal Analysis and Validation of Continuous Time {Markov} Chain Based System Level Power Management Strategies},
booktitle={Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02)},
year={2002},

editor={W. Rosenstiel},
pages={45--50},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
address={},
_month={October},
note={},
key={}
}