Jin Yi, Wenhui Zhang: Efficient State Space Reduction for Automata by Fair Simulation. FSEN 2007: 380-387