\begin{thebibliography}{1}

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

\bibitem[{Ciancamerla et~al.}(2003){Ciancamerla, Minichino, Serro \& Tronci}]{Ciancamerla_etal2003} Ester Ciancamerla, Michele Minichino, Stefano Serro, and Enrico Tronci. "Automatic Timeliness Verification of a Public Mobile Network." In \textit{22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)}, edited by S. Anderson, M. Felici and B. Littlewood, 35--48. Lecture Notes in Computer Science 2788. Edinburgh, UK: Springer, 2003. ISSN: 978-3-540-20126-7. DOI: 10.1007/978-3-540-39878-3_4.

\end{thebibliography}

