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