Vandin, A.; Lafuente, A. L. Towards a Maude Tool for Model Checking Temporal Graph Properties. eceasst 2011, 41.