Nilsson, M.; Kvarnström, J.; Doherty, P. EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm. ICAPS 2014, 24, 199-207.