Symmetry Reduced Model Checking for B. - Turner, Edd; Leuschel, Michael; Spermann, Corinna; Butler, Michael J. (2007)