\begin{thebibliography}{1}

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

\bibitem[{Mari et~al.}(2008){Mari, Melatti, Salvo, Tronci, Alvisi, Clement \& Li}]{Mari_etal2008} Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, and Harry Li. "Model Checking Nash Equilibria in MAD Distributed Systems." In \textit{FMCAD {\textquoteright}08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design}, edited by A. Cimatti and R. Jones, 1--8. Piscataway, NJ, USA: IEEE Press, 2008. ISSN: 978-1-4244-2735-2. DOI: 10.1109/FMCAD.2008.ECP.16.

\end{thebibliography}

