Miguel Valero Espada Jaco van de Pol An abstract interpretation toolkit for µCRL. 249-273 2007 30 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0029-7 db/journals/fmsd/fmsd30.html#EspadaP07