\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Cesta et~al.}(2010){Cesta, Finzi, Fratini, Orlandini \& Tronci}]{Cesta_etal2010} Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci. "Validation and verification issues in a timeline-based planning system." \textit{The Knowledge Engineering Review} 25, no. 03 (2010): 299--318. Cambridge University Press. DOI: 10.1017/S0269888910000160.

\end{thebibliography}

