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