Recent improvements to the McErlang model checker | Publicación