K. Giannakis and T. Andronikos, “Use of Büchi automata and randomness for the description of biological processes”, Int. J. Sci. World, vol. 3, no. 1, pp. 113–123, Mar. 2015, doi: 10.14419/ijsw.v3i1.4356.