Verifying fault-tolerant Erlang programs | Publicación