An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty