[MKUM09] Paulo Maia, Jeff Kramer, Sebastián Uchitel and Nabor Mendonça. Towards accurate probabilistic models using state refinement. In Proc. 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/SIGSOFT FSE'09), pages 281-284. 2009. [Presents state refinement techniques for generating accurate probabilistic models which are analysed using PRISM.]