Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci. "Verifying Flexible Timeline-based Plans." In _E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems_., 2009.