@InProceedings{	  schmalz.ea:counterexamples:2009,
  author	= {Matthias Schmalz and Daniele Varacca and Hagen V\"olzer},
  booktitle	= {Concur 2009},
  copyright	= {Springer},
  copyrighturl	= {http://www.springer.de/comp/lncs},
  language	= {UKenglish},
  pages		= {587--602},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Counterexamples in Probabilistic LTL Model Checking for
		  Markov Chains},
  volume	= 5710,
  year		= 2009,
  user		= {mschmalz}
}