M. Huth, N. Piterman, and H. Wang, “A workbench for preprocessor design and evaluation: toward benchmarks for parity games”, eceasst, vol. 23, Dec. 2009.