An abstract interpretation toolkit for μCRL | Publicación