Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci. "Validation and verification issues in a timeline-based planning system." _The Knowledge Engineering Review_ 25, no. 03 (2010): 299–318. Cambridge University Press. DOI: 10.1017/S0269888910000160.