%&LaTeX
\documentclass{article}

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

\begin{document}

\section*{2014}

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{document}

