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