Corradini, A. Invited Talk: On the Concurrent Semantics of Transformation Systems With Negative Application Conditions. eceasst 2013, 58.