Model checking erlang programs | Publicación