Rein, A. Negative Application Conditions for Reconfigurable Algebraic High-Level Systems. eceasst 2009, 14.