Tools for symmetry reduction in model checking, originally developed at the University of Glasgow