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