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