A. Heußner, “Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO”, eceasst, vol. 47, Jul. 2012.