Enhancing UPPAAL by exploiting symmetry / M. Hendriks