Probabilistic Model Checking applied to Spacecraft Reconfiguration