The probabilistic steam boiler: a case study in probabilistic data refinement