A. Vandin and A. L. Lafuente, “Towards a Maude Tool for Model Checking Temporal Graph Properties”, eceasst, vol. 41, Sep. 2011.