\begin{thebibliography}{1}

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

\bibitem[{Verzino Giovanni et~al.}(2012){Verzino Giovanni, Cavaliere, Mari, Melatti, Minei, Salvo, Yushtein \& Tronci}]{VerzinoGiovanni_etal2012} Verzino Giovanni, Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Yuri Yushtein, and Enrico Tronci. "Model checking driven simulation of sat procedures." In \textit{Proceedings of 12th International Conference on Space Operations (SpaceOps 2012)}., 2012. DOI: 10.2514/6.2012-1275611.

\end{thebibliography}

