Blom, S.; Kant, G.; Rensink, A. Distributed Graph-Based State Space Generation. eceasst 2011, 32.