Robust Execution of Probabilistic Temporal Plans