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