Alastair F. Donaldson Alice Miller Automatic Symmetry Detection for Promela. 251-293 2008 41 J. Autom. Reasoning 3-4 http://dx.doi.org/10.1007/s10817-008-9107-4 db/journals/jar/jar41.html#DonaldsonM08