Vandin, A. and Lafuente, A. L. (2011) “Towards a Maude Tool for Model Checking Temporal Graph Properties”, Electronic Communications of the EASST, 41. doi: 10.14279/tuj.eceasst.41.640.