Koenig, B. Conditions in Reactive Systems and in Graph Rewriting. eceasst 2012, 51.