\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{CCVHG16}

\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[BCG12]{bcg11:ij}
Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
\newblock Steganography: a class of secure and robust algorithms.
\newblock {\em The Computer Journal}, 55(6):653--666, 2012.

\bibitem[BCGR11]{bcgr11:ip}
Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
\newblock On the link between strongly connected iteration graphs and chaotic
  boolean discrete-time dynamical systems.
\newblock In {\em FCT'11, 18th Int. Symp. on Fundamentals of Computation
  Theory}, volume 6914 of {\em LNCS}, pages 126--137, Oslo, Norway, August
  2011.

\bibitem[BCGW11]{bcgw11:ip}
Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Qianxue Wang.
\newblock Class of trustworthy pseudo random number generators.
\newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
  pages 72--77, Luxembourg, Luxembourg, June 2011.

\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[CCVHG16]{ccgh16}
Jean-Fran\c{c}ois Couchot, Sylvain Contassot-Vivier, Pierre-Cyrille H\'eam, and
  Christophe Guyeux.
\newblock Random walk in a n-cube without hamiltonian cycle to chaotic
  pseudorandom number generation: Theoretical and practical considerations.
\newblock {\em International Journal of Bifurcation and Chaos}, 2016.
\newblock Accepted on Oct 2016.

\bibitem[CHG{\etalchar{+}}14]{chgw+14:oip}
Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
  Wang, and Jacques Bahi.
\newblock Pseudorandom number generators with balanced gray codes.
\newblock In {\em Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
  pages 469--475, Vienna, Austria, August 2014.

\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[Guy10]{guyeuxphd}
Christophe Guyeux.
\newblock {\em Le désordre des it\'erations chaotiques et leur utilit\'e en
  sécurit\'e informatique}.
\newblock Th\`ese de {D}octorat, LIFC, Universit\'e de Franche-Comt\'e, 13
  décembre 2010.
\newblock Rapporteurs~: Pascale Charpin, Directrice de Recherche,
  INRIA-Rocquencourt ; Eric Filiol, Professeur, ESIEA-Laval ; Pierre Spitéri,
  Professeur Emérite, IRIT-ENSEEIHT. Examinateurs~: Michel de Labachelerie,
  Directeur de recherche CNRS, Université de Franche-Comté ; Laurent Larger,
  Professeur, Université de Franche-Comté ; Jean-Claude Miellou, Professeur,
  Université de Franche-Comté ; Congduc Pham, Professeur, Université de Pau.
  Directeur~: Jacques M. Bahi, Professeur, Université de Franche-Comté.

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

\bibitem[ZS04]{ZanSup04}
A.~J.~van Zanten and I.~N. Suparta.
\newblock Totally balanced and exponentially balanced gray codes.
\newblock {\em Discrete Analysis and Operational Research}, 11:81--98, 2004.

\end{thebibliography}