Lluch-Lafuente, Alberto and Vandin, Andrea  Towards a Maude tool for model checking temporal graph properties.  Electronic Communications of the EASST, 41.   ISSN 1863-2122      (2011)