Synthesis of Safety Specifications for Probabilistic Systems