\begin{thebibliography}{1}

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

\bibitem[{Mancini et~al.}(2014){Mancini, Mari, Massini, Melatti \& Tronci}]{Mancini_etal2014} Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, and Enrico Tronci. "System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation." In \textit{Proc. of the 22nd  Euromicro International Conference on Parallel, Distributed and Network-Based Processing}. IEEE Computer Society, 2014. DOI: 10.1109/PDP.2014.32.

\end{thebibliography}

