Blume, C.; Bruggink, S.; König, B. Recognizable Graph Languages for Checking Invariants. eceasst 2010, 29.