\begin{thebibliography}{1}

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

\bibitem[{Bobbio et~al.}(2001){Bobbio, Bologna, Minichino, Ciancamerla, Incalcaterra, Kropp \& Tronci}]{Bobbio_etal2001} Andrea Bobbio, Sandro Bologna, Michele Minichino, Ester Ciancamerla, Piero Incalcaterra, Corrado Kropp, and Enrico Tronci. "Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant." In \textit{X Convegno Tecnologie e Sistemi Energetici Complessi}, 339--350. Genova, Italy, 2001.

\end{thebibliography}

