Lluch-Lafuente, Alberto and Gadducci, Fabio and Vandin, Andrea  Exploiting over- and under-approximations for infinite-state counterpart models.   In:  Graph Transformations.   Lecture Notes in Computer Science  (7562).  Springer, pp. 51-65.  ISBN 978-3-642-33654-6      (2012)