%&LaTeX
\documentclass{article}

\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{textcomp}

\begin{document}

\begin{thebibliography}{1}

\bibitem{Pugliese+Tronci1996} Rosario Pugliese, and Enrico Tronci. "Automatic Verification of a Hydroelectric Power Plant." In \textit{Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3}, edited by M. - C. Gaudel and J. Woodcock, 425--444. Lecture Notes in Computer Science 1051. Oxford, UK: Springer, 1996. ISSN: 3-540-60973-3. DOI: 10.1007/3-540-60973-3_100.

\end{thebibliography}

\end{document}

