\begin{thebibliography}{1}

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

\bibitem[{Driouich et~al.}(2017){Driouich, Parente \& Tronci}]{Driouich_etal2017} Y. Driouich, M. Parente, and E. Tronci. "Modeling cyber-physical systems for automatic verification." In \textit{14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017)}, 1--4., 2017. DOI: 10.1109/SMACD.2017.7981621.

\end{thebibliography}

