\begin{thebibliography}{1}

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

\bibitem[{Mancini et~al.}(2018){Mancini, Mari, Melatti, Salvo, Tronci, Gruber, Hayes, Prodanovic \& Elmegaard}]{Mancini_etal2018} T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. Gruber, B. Hayes, M. Prodanovic, and L. Elmegaard. "Parallel Statistical Model Checking for Safety Verification in Smart Grids." In \textit{2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)}, 1--6., 2018. DOI: 10.1109/SmartGridComm.2018.8587416.

\end{thebibliography}

