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