@InProceedings{FKNP11,
author={V. Forejt and M. Kwiatkowska and G. Norman and D. Parker},
title={Automated Verification Techniques for Probabilistic Systems},
booktitle={Formal Methods for Eternal Networked Software Systems (SFM'11)},
year={2011},

editor={M. Bernardo and V. Issarny},
pages={53--113},
organization={},
publisher={Springer},
series={LNCS},
volume={6659},
address={},
month={},
note={},
key={}
}