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