\begin{thebibliography}{}

\bibitem[Bahi, 2000]{Bah00}
Bahi, J.~M. (2000).
\newblock Boolean totally asynchronous iterations.
\newblock {\em International Journal of Mathematical Algorithms}, 1:331--346.

\bibitem[Bahi and Contassot-Vivier, 2002]{BCV02}
Bahi, J.~M. and Contassot-Vivier, S. (2002).
\newblock Stability of fully asynchronous discrete-time discrete-state dynamic
  networks.
\newblock {\em IEEE Transactions on Neural Networks}, 13(6):1353--1363.

\bibitem[Bahi et~al., 2010]{BCVC10:ir}
Bahi, J.~M., Contassot-Vivier, S., and Couchot, J.-F. (2010).
\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}.

\bibitem[Bahi and Michel, 1999]{BM99}
Bahi, J.~M. and Michel, C. (1999).
\newblock Simulations of asynchronous evolution of discrete systems.
\newblock {\em Simulation Practice and Theory}, 7:309--324.

\bibitem[Chandrasekaran, 2006]{Cha06}
Chandrasekaran, N. (2006).
\newblock Verifying convergence of asynchronous iterative algorithms based on
  lyapunov functions.

\bibitem[Couchot et~al., 2005]{CGK05}
Couchot, J.-F., Giorgetti, A., and Kosmatov, N. (2005).
\newblock A uniform deductive approach for parameterized protocol safety.
\newblock In Redmiles, D.~F., Ellman, T., and Zisman, A., editors, {\em ASE},
  pages 364--367. ACM.

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

\bibitem[Richard and Comet, 2007]{RC07}
Richard, A. and Comet, J.-P. (2007).
\newblock Necessary conditions for multistationarity in discrete dynamical
  systems.
\newblock {\em Discrete Applied Mathematics}, 155(18):2403--2413.

\bibitem[Weise, 1997]{Wei97}
Weise, C. (1997).
\newblock An incremental formal semantics for {PROMELA}.
\newblock In {\em SPIN97, the Third SPIN Workshop}.

\end{thebibliography}
