L. Hunsberger and R. Posenato, “Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty”, AAAI, vol. 36, no. 9, pp. 9776-9785, Jun. 2022.