C. Blume, S. Bruggink, and B. König, “Recognizable Graph Languages for Checking Invariants”, ECEASST, vol. 29, Jul. 2010.