@InProceedings{KNP05c,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Probabilistic Model Checking and Power-Aware Computing},
booktitle={Proc. 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS'05)},
year={2005},

editor={},
pages={6--9},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}