-\begin{thebibliography}{ABCVS05}
+\newcommand{\etalchar}[1]{$^{#1}$}
+\begin{thebibliography}{CCVHG16}
\bibitem[ABCVS05]{abcvs05}
A.~Abbas, J.~M. Bahi, S.~Contassot-Vivier, and M.~Salomon.
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
\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}