M. Nilsson, J. Kvarnström, and P. Doherty, “Incremental Dynamic Controllability Revisited”, ICAPS, vol. 23, no. 1, pp. 337-341, Jun. 2013.