Hunsberger, Luke, and Roberto Posenato. “Checking the Dynamic Consistency of Conditional Temporal Networks With Bounded Reaction Times”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 26, no. 1, Mar. 2016, pp. 175-83, doi:10.1609/icaps.v26i1.13756.