M. Nilsson, J. Kvarnström, and P. Doherty, “EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm”, ICAPS, vol. 24, no. 1, pp. 199–207, May 2014.