Use of Buchi automata and randomness for the description of biological processes