of a Fault-Tolerant Leader Election Protocol in Erlang -- An Automata-Theoretic Approach