\begin{thebibliography}{1}

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

\bibitem[{Gorrieri et~al.}(2004){Gorrieri, Lanotte, Maggiolo-Schettini, Martinelli, Tini \& Tronci}]{Gorrieri_etal2004} Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, and Enrico Tronci. "Automated analysis of timed security: a case study on web privacy." \textit{International Journal of Information Security} 2, no. 3-4 (2004): 168--186. DOI: 10.1007/s10207-004-0037-9.

\end{thebibliography}

