\begin{thebibliography}{1}

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

\bibitem[{Lanotte et~al.}(2004){Lanotte, Maggiolo-Schettini, Tini, Troina \& Tronci}]{Lanotte_etal2004} Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, and Enrico Tronci. "Automatic Analysis of the NRL Pump." \textit{Electr. Notes Theor. Comput. Sci.} 99 (2004): 245--266. DOI: 10.1016/j.entcs.2004.02.011.

\end{thebibliography}

