\begin{thebibliography}{ABCVS05}

\bibitem[ABCVS05]{abcvs05}
A.~Abbas, J.~M. Bahi, S.~Contassot-Vivier, and M.~Salomon.
\newblock Mixing synchronism / asynchronism in discrete-state discrete-time
  dynamic networks.
\newblock In {\em 4th Int. Conf. on Engineering Applications and Computational
  Algorithms, DCDIS'2005}, pages 524--529, Guelph, Canada, July 2005.
\newblock ISSN 1492-8760.

\bibitem[BCVC10]{BCVC10:ir}
J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
\newblock Convergence results of combining synchronism and asynchronism for
  discrete-state discrete-time dynamic network.
\newblock Research Report RR2010-02, LIFC - Laboratoire d’{I}nformatique de
  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.

\bibitem[Cou10]{Cou10:ir}
J.-F. Couchot.
\newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
\newblock Research Report RR2010-03, LIFC - Laboratoire d’{I}nformatique de
  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.

\bibitem[Hol03]{Hol03}
Gerard~J. Holzmann.
\newblock {\em The SPIN Model Checker: Primer and Reference Manual}.
\newblock Addison-Wesley, Pearson Education, 2003.

\end{thebibliography}