Heußner, A. (2012) “Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO”, Electronic Communications of the EASST, 47. doi: 10.14279/tuj.eceasst.47.725.