Sharon Barner Orna Grumberg Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. 29-66 2005 27 Formal Methods in System Design 1-2 http://dx.doi.org/10.1007/s10703-005-2246-x db/journals/fmsd/fmsd27.html#BarnerG05