Ndukwu, McIver, 2011. Model exploration and analysis for quantitative safety refinement in probabilistic B 55.. https://doi.org/10.4204/eptcs.55.7