%&LaTeX
\documentclass{article}

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

\begin{document}

\begin{thebibliography}{1}

\bibitem{Fantechi_etal1998} Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, and Enrico Tronci. "A Symbolic Model Checker for ACTL." In \textit{International Workshop on Current Trends in Applied Formal Method (FM-Trends)}, edited by D. Hutter, W. Stephan, P. Traverso and M. Ullmann, 228--242. Lecture Notes in Computer Science 1641. Boppard, Germany: Springer, 1998. ISSN: 3-540-66462-9. DOI: 10.1007/3-540-48257-1_14.

\end{thebibliography}

\end{document}

