Alice Miller Alastair F. Donaldson Muffy Calder Symmetry in temporal logic model checking. 2006 38 ACM Comput. Surv. 3 http://doi.acm.org/10.1145/1132960.1132962 db/journals/csur/csur38.html#MillerDC06