Blom, S., Kant, G. and Rensink, A. (2011) “Distributed Graph-Based State Space Generation”, Electronic Communications of the EASST, 32. doi: 10.14279/tuj.eceasst.32.521.