\begin{thebibliography}{1}

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

\bibitem[{Campagnano et~al.}(2005){Campagnano, Ciancamerla, Minichino \& Tronci}]{Campagnano_etal2005} Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, and Enrico Tronci. "Automatic Analysis of a Safety Critical Tele Control System." In \textit{24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP)}, edited by R. Winther, B. A. Gran and G. Dahll, 94--107. Lecture Notes in Computer Science 3688. Fredrikstad, Norway: Springer, 2005. ISSN: 3-540-29200-4. DOI: 10.1007/11563228_8.

\end{thebibliography}

