J. Porteous, J. Teutenberg, D. Pizzi, and M. Cavazza, “Visual Programming of Plan Dynamics Using Constraints and Landmarks”, ICAPS, vol. 21, no. 1, pp. 186-193, Mar. 2011.