Huth, M.; Piterman, N.; Wang, H. A Workbench for Preprocessor Design and Evaluation: Toward Benchmarks for Parity Games. ECEASST 2009, 23.