B. Koenig, “Conditions in Reactive Systems and in Graph Rewriting”, ECEASST, vol. 51, Nov. 2012.