Nilsson, Mikael, et al. “EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 24, no. 1, May 2014, pp. 199-07, doi:10.1609/icaps.v24i1.13646.