Rein, A.; Prange, U.; Lambers, L.; Hoffmann, K.; Padberg, J. Negative Application Conditions for Reconfigurable Place Transition Systems. ECEASST 2008, 10.