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