Nilsson, M.; Kvarnström, J.; Doherty, P. Incremental Dynamic Controllability Revisited. ICAPS 2013, 23, 337-341.