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