Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang | Publicación