Blom, Stefan, Gijs Kant, and Arend Rensink. 2011. “Distributed Graph-Based State Space Generation”. Electronic Communications of the EASST 32 (March). https://doi.org/10.14279/tuj.eceasst.32.521.