S. Blom, G. Kant, and A. Rensink, “Distributed Graph-Based State Space Generation”, ECEASST, vol. 32, Mar. 2011.