@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={} }